Publication status
publishedExternal links
Book title
Formal methods for components and objectsJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Organisational unit
03653 - Müller, Peter / Müller, Peter
03594 - Meyer, Bertrand (emeritus)
02150 - Dep. Informatik / Dep. of Computer Science
Notes
SpringerLink Date Donnerstag 4. Dezember 2008. See also http://e-citations.ethbib.ethz.ch/view/pub:113612.More
Show all metadata
ETH Bibliography
yes
Altmetrics