12 results on '"Roggenbach, Markus"'
Search Results
2. Detection of app collusion potential using logic programming
3. Verification of the European Rail Traffic Management System in Real-Time Maude
4. On modelling and verifying railway interlockings: Tracking train lengths
5. Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)
6. Preface
7. The Stable Revivals Model in CSP-Prover
8. CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
9. Algebraic–coalgebraic specification in CoCasl
10. CSP-CASL—A new integration of process algebra and algebraic specification
11. Towards a unified view of bisimulation: a comparative study
12. Transition systems from event structures revisited
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.