An edition of Logics and models of concurrent systems (1985)
By NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
Publish Date
1985
Publisher
Springer-Verlag
Language
eng
Pages
498