Your search returned 2 results.

Results
		No cover image available Specifying message passing and time-critical systems with temporal logic by Koymans, Ron \| . Series: Lecture notes in computer science ; v.651Edition: Language: English Publication details: ; Berlin : Springer-verlag, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.327.8:681.3.06 Koy. Place hold Add to cart (remove)
		Specifying message passing and time-critical systems with temporal logic (e-book) by Koymans, Ron. Series: Lecture Notes in Computer Science (LNCS) ; v.651Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1992Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)

Refine your search