Suchfeld einblenden
Person Koymans, Ronald L.
1 Treffer
Seite < 1 >
Koymans, Ronald L.: Specifying message passing and time critical systems with temporal logic
/ Ron Koymans. - Berlin : Springer, 1992. - VIII, 164 S.; 24 cm - (Lecture notes in computer science; Vol. 651)
ISBN 978-3-540-56283-2 / 3-540-56283-4 kart. : DM 46.00
Literaturverz. S. 151 - 161
Quelle: DNB
Seite < 1 >
