Syntax and seimantics of Pretsel-A specification language for parallel real-time systems

Alok Nidhi Choudhary, Vijay Gehlot, Bhagirath Narahari

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Fingerprint Dive into the research topics of 'Syntax and seimantics of Pretsel-A specification language for parallel real-time systems'. Together they form a unique fingerprint.

Engineering & Materials Science