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]

Abstract

Abstract is missing.