EEMCS

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

EEMCS EPrints Service


Editor: Bosnacki, D.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2012

Zambon, Eduardo and Rensink, A. (2012) Graph Subsumption in Abstract State Space Exploration. In: Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012), 1 Apr 2012, Tallinn, Estonia. pp. 35-49. Electronic Proceedings in Theoretical Computer Science 99. Open Publishing Association. ISSN 2075-2180

2007

Weber, Michael (2007) An Embeddable Virtual Machine for State Space Generation. In: Proceedings of the 14th International SPIN Workshop, 1-3 Jul 2007, Berlin, Germany. pp. 168-186. Lecture Notes in Computer Science 2595. Springer Verlag. ISBN 978-3-540-73369-0

2002

Ruys, T.C. (2002) SPIN Tutorial: How to Become a SPIN Doctor. In: 9th International SPIN Workshop (SPIN 2002). pp. 6-13. Lecture Notes in Computer Science 2318. Springer Verlag.

This list was generated on Sun May 28 22:47:14 CEST 2017.