Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C.
(2007)
Preface.
In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany.
V-VI.
Lecture Notes in Computer Science 4346.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-70951-0
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||