![](https://www.pdfsearch.io/img/8e8fd41ec23fe4a3c5cb5e0cc17cc697.jpg) Date: 2016-10-03 06:41:06
| | 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 properAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source Website File Size: 253,34 KBShare Document on Facebook
|