School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Rozenberg, G., Bakker, J. W. d., & Roever, W. d. (1989). Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Springer-Verlag.
Citace podle Chicago (17th ed.)School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Grzegorz Rozenberg, J. W. de Bakker, a W.-P. de Roever. Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Berlin ; New York: Springer-Verlag, 1989.
Citace podle MLA (8th ed.)School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, et al. Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Springer-Verlag, 1989.