Universe types for topology and encapsulation

Thumbnail
Metadata only
Author
Cunningham, Dave
Dietl, Werner
Drossopoulou, Sophia
Francalanza, Adrian
Mueller, Peter
Summers, Alexander J.
Show all
Date
2008
Type
    Conference Paper
Publication status
published
External links
Editor
Boer, Frank S. de
Bonsangue, M. M.
Graf, S.
Roever, W. P. de
Book title
Formal methods for components and objects
Journal / series
Lecture Notes in Computer Science
Volume
5382
Pages / Article No.
72 - 112
Publisher
Springer
Event
6th International Symposium on Formal Methods for Components and Objects, Amsterdam, Netherlands, October 24-26, 2007
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