FM-Tools 2000: the 4th Workshop on Tools for System Design and Verification

Thumbnail
Veröffentlichung
2005-09-19
Contributors
Schellhorn, Gerhard
Reif, Wolfgang
Konferenzband


Faculties
Fakultät für Informatik
Series
Ulmer Informatik-Berichte
Conference
FM-Tools 2000 The 4thWorkshop on Tools for System Design and Verification, 2000-07-10 - 2000-07-13, Schloss Reisensburg, Günzburg
Abstract
N/A
Date created
2000
Subject headings
[LCSH]: System design. Congresses
[DDC subject group]: DDC 004 / Data processing & computer science
License
Standard (Fassung vom 03.05.2003)
https://oparu.uni-ulm.de/xmlui/license_v1
Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-344

Schellhorn, Gerhard; Reif, Wolfgang (2005): FM-Tools 2000: the 4th Workshop on Tools for System Design and Verification. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-344
Citation formatter >