CITATION STYLE
Bakker, J., Roever, W. P., & Rozenberg, G. (1988). Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency.
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley