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