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 Roma

First Page		Document Content
Date: 2012-05-05 08:21:17 Lecture 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 Roma Add to Reading List Source URL: www.cs.swan.ac.uk Download Document from Source Website File Size: 71,40 KB Share Document on Facebook