1. Specifying message passing and time-critical systems with temporal logic
المؤلف: Koymans, Ron
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Data transmission systems,، Logic, Symbolic and mathematical
رده :
TK
5105
.
K69
1992


2. Specifying message passing and time-critical systems with temporal logic
المؤلف: Koymans, Ron, 9591-
المکتبة: (طهران)
موضوع: ، Data transmission systems,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
651

