Publication status
publishedExternal links
Book title
FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 ; proceedingsJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Organisational unit
03653 - Müller, Peter / Müller, Peter
More
Show all metadata
ETH Bibliography
yes
Altmetrics