Normal view
MARC view
Temporele logica (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Koymans, R. (Ron), 1959- 38214, Specifying message passing and time-critical systems with temporal logic /