Refine Your Search
Book List
1
-
Logics and models of concurrent systems / edited by Krzysztof R. Apt.
- 004.36 N1111l
- NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup, France)
- Springer-Verlag,
- c1985.
- Berlin ; New York :