Article,

Moby/RT: A Tool for Specification and Verification of Real-Time Systems.

, and .
J. Univers. Comput. Sci., 9 (2): 88-105 (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews