Untitled
Author details: | Daniel Kröning, Tiziana Margaria, Jim Woodcock |
---|---|
DOI: | https://doi.org/10.1007/s00165-011-0201-8 |
ISSN: | 0934-5043 |
Title of parent work (English): | Formal aspects of computing : the international journal of formal methods |
Publisher: | Springer |
Place of publishing: | New York |
Publication type: | Preprint |
Language: | English |
Year of first publication: | 2011 |
Publication year: | 2011 |
Release date: | 2017/03/26 |
Volume: | 23 |
Issue: | 5 |
Number of pages: | 4 |
First page: | 585 |
Last Page: | 588 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Peer review: | Referiert |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |