The safety guaranteeing system at station Hoorn-Kersenboogerd

This publication has 15 references indexed in Scilit:

• The Syntax and Semantics of μCRL
  Published by Springer Nature ,1995
• Process Specification in a UNITY Format
  Published by Springer Nature ,1995
• Towards a derivational style of distributed system design ? An example
  Automated Software Engineering, 1994
• Proof Theory for µCRL: A Language for Processes with Data.
  Published by Springer Nature ,1994
• Notations for Software Design
  Published by Springer Nature ,1994
• A case study in safety-critical design
  Published by Springer Nature ,1993
• Verification in process algebra of the distributed control of track vehicles—A case study
  Published by Springer Nature ,1993
• Representing circuits more efficiently in symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1991
• MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC
  Published by Elsevier ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986