👤

R. Koymans

b. 1959 ยท 1 book

Books by R. Koymans

Specifying message passing and time-critical systems with temporal logic
Specifying message passing and time-critical systems with temporal logic
1992