Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
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
Edited volume
Publication
LNCS 4468. © Springer 2007.
Einar Broch Johnsen
Professor
Cite
×