EEMCS

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

EEMCS EPrints Service


Editor: Touili, T.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2010

Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: Computer Aided Verification, 15-19 Jul 2010, Edinburgh. pp. 354-359. Lecture Notes in Computer Science 6174. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14294-9

This list was generated on Fri Apr 21 06:19:43 CEST 2017.