EEMCS

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

EEMCS EPrints Service


Editor: Knottenbelt, W.J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2013

van den Berg, F.G.B. and Remke, A.K.I. and Mooij, A. and Haverkort, B.R.H.M. (2013) Performance evaluation for collision prevention based on a domain specic language. In: Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013, 16-17 Sep 2013, Venice, Italy. pp. 276-287. Lecture Notes in Computer Science 8168. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40724-6

2012

van der Berg, F.I. and Laarman, A.W. (2012) SpinS: Extending LTSmin with Promela through SpinJa. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 95-105. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 1571-0661
van Dijk, T. and Laarman, A.W. and van de Pol, J.C. (2012) Multi-Core BDD Operations for Symbolic Reachability. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 127-143. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 2075-2180

This list was generated on Mon Apr 24 02:17:37 CEST 2017.