The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 83 of 960
Back to Result List

Untitled

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Daniel Kröning, Tiziana Margaria, Jim Woodcock
DOI:https://doi.org/10.1007/s00165-011-0201-8
ISSN:0934-5043 (print)
Parent Title (English):Formal aspects of computing : the international journal of formal methods
Publisher:Springer
Place of publication:New York
Document Type:Preprint
Language:English
Year of first Publication:2011
Year of Completion:2011
Release Date:2017/03/26
Volume:23
Issue:5
Pagenumber: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 publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik