![Lecture Notes in Computer Science / Springer Science+Business Media / Model checking Lecture Notes in Computer Science / Springer Science+Business Media / Model checking](https://www.pdfsearch.io/img/25ed3fada2f5c87b6b926d954b64ea34.jpg) Date: 2012-05-05 08:21:17Lecture Notes in Computer Science Springer Science+Business Media Model checking | | Selected Publications by Markus Roggenbach Journals 1. F G Moller, H N Nguyen, M Roggenbach: Simulating Timed CSP, 20 pages, submitted. 2. S Chadwick, J Clarke, A Iliasov, Y Isobe, P James, F Moller, M Roggenbach, A RomaAdd to Reading ListSource URL: www.cs.swan.ac.ukDownload Document from Source Website File Size: 71,40 KBShare Document on Facebook
|