Sciweavers

18924 search results - page 115 / 3785
» Conformance of Distributed Systems
Sort
View
REX
1991
15 years 9 months ago
Timed Transition Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli