Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper
Add to Reading List
Document Date: 2016-10-03 06:41:06
Open Document
File Size: 253,34 KB
Share Result on Facebook
Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper