Inproceedings,

Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach.

.
TOOLS (8), page 277. Prentice Hall, (1992)

Meta data

Tags

Users

  • @dblp

Comments and Reviews