Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems

Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari. Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. In HICSS (4). pages 525, 1996. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.