Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2010
Ballarini, P. and Barnat, J. and Weber, Michael
(2010)
Preface.
In: Proceedings of the 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi), 30 Sep - 1 Oct 2010, Enschede, the Netherlands.
vii-viii.
IEEE Computer Society.
ISBN 978-0-7695-4265-2
van de Pol, J.C. and Weber, Michael
(2010)
Preface.
In: 17th International SPIN Workshop on Model Checking Software, 27-29 Sep 2010, Enschede, The Netherlands.
v-vi.
Lecture Notes in Computer Science 6349.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-16163-6
This list was generated on Thu May 24 08:39:09 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||