EEMCS

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

EEMCS EPrints Service


Editor: Rungta, N.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2013

Hartmanns, A. and Timmer, M. (2013) On-the-Fly Confluence Detection for Statistical Model Checking. In: Proceedings of the 5th International Symposium on NASA Formal Methods (NFM 2013), 14-16 May 2013, Moffett Field, CA, USA. pp. 337-351. Lecture Notes in Computer Science 7871. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38087-7
Laarman, A.W. and Faragó, D. (2013) Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFSFIFO In: Proceedings of the Fifth NASA Formal Methods Symposium, NFM 2013, 14-16 May 2013, Moffett Field, CA, USA. Lecture Notes in Computer Science . Springer Verlag.

This list was generated on Mon Mar 20 05:32:00 CET 2017.