Untitled
Verfasserangaben: | Daniel Kröning, Tiziana Margaria, Jim Woodcock |
---|---|
DOI: | https://doi.org/10.1007/s00165-011-0201-8 |
ISSN: | 0934-5043 |
Titel des übergeordneten Werks (Englisch): | Formal aspects of computing : the international journal of formal methods |
Verlag: | Springer |
Verlagsort: | New York |
Publikationstyp: | Preprint |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2011 |
Erscheinungsjahr: | 2011 |
Datum der Freischaltung: | 26.03.2017 |
Band: | 23 |
Ausgabe: | 5 |
Seitenanzahl: | 4 |
Erste Seite: | 585 |
Letzte Seite: | 588 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Peer Review: | Referiert |
Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |