Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2009
Brim, L. and van de Pol, J.C.
(2009)
Preface.
In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands.
Electronic Proceedings in Theoretical Computer Science 14.
Open Publishing Association.
ISSN 2075-2180
Blom, S.C.C. and van de Pol, J.C.
(2009)
Distributed Branching Bisimulation Minimization by Inductive Signatures.
In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands.
pp. 32-46.
Electronic Proceedings in Theoretical Computer Science 14.
Open Publishing Association.
ISSN 2075-2180
2008
van de Pol, J.C.
(2008)
A Typical Verification Challenge for the GRID.
(Invited)
In: Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing ', 10-14 August 2008, Dagstuhl, Germany.
Dagstuhl Seminar Proceedings (08332).
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.
ISSN 1862-4405
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
This list was generated on Thu May 24 05:41:31 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||