Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Specifyng message passing and time-critical systems with temporal logic /

by Koymans, Ron
Normal View ISBD View
Series: Lecture notes in computer science ; . 651 Published by : Springer-Verlag, (Berlin : ) Physical details: VIII, 164 p. ; 25 cm. Subject(s): Data transmission systems | Logic, Symbolic and mathematical Year : 1992
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica -LNCS651 (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.