Kristensen, Carsten H.

• BRICS Report Series No. 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study - Articles
  Specification and Automated Verification of Real-Time Behaviour —A Case Study
  Abstract  PDF