Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).
Marcello M. Bonsangue
,
Einar Broch Johnsen
,
(Eds)
June, 2007
Cite
DOI
Type
Book
Publication
LNCS 4468. © Springer 2007.
Einar Broch Johnsen
Professor
Cite
×