EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Brim, L.
Home Policy Brochure Browse Search User Area Contact Help

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 Sun May 28 22:54:59 CEST 2017.