Formal Techniques for Networked and Distributed Systems - FORTE 2002
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled
,
Moshe Y. Vardi
Details
OL Work ID
OL27319705W
Find this book
Open Library