EEMCS

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

EEMCS EPrints Service


Editor: Rossi, Matteo
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2016

Bloemen, V. (2016) Parallel Model Checking of ω-Automata. In: Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016), 8 Nov 2016, Limassol, Cyprus. 1. CEUR Workshop Proceedings. ISSN 1613-0073

This list was generated on Mon May 29 05:10:43 CEST 2017.