ID:DA03267492
Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School
Search authors sharing the same name
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
Springer-Verlag c1989 Lecture notes in computer science 354
: gw , : us
Available at 57 libraries
