001.64 / L497
Koymans, Ron
SPECIFYING MESSAGE PASSING AND TIMECRITICAL SYSTEMS WITH TEMPORAL LOGIC
/
.- Berlin: Springer-Verlag, 1992
.- 164 .
.- ( Lecture Notes In Computer Science V. 651
ISBN: 3540562834
Subject Headings:
Computer Science;
Copy Details:
Acc. No.: A114715, Full Call No.: 001.64 L497, Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------