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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------