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

Untitled

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
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
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.