APA (7th ed.) Citation

School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency. (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.

Chicago Style (17th ed.) Citation

School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency. 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.

MLA (9th ed.) Citation

School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency. 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.