No. 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study

Published: 1995-12-30

Articles