Back to Results
First PageMeta Content
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

Document Date: 2012-05-05 08:21:17


Open Document

File Size: 71,40 KB

Share Result on Facebook