Roever, W.-P. de, ed., Rozenberg, Grzegorz, ed. a Bakker, Jacobus W. de, ed. Linear time, branching time and partial order in logics and models for concurrency: school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Berlin: Springer, 1989. VIII, 713 s. Lecture notes in computer science; 354.
Roever, W. d., Rozenberg, G., & Bakker, J. 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. Berlin ; Heidelberg ; New York: Springer.
Styl ChicagoRoever, W.-P. de, Grzegorz Rozenberg, and Jacobus W. de Bakker. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Berlin ; Heidelberg ; New York: Springer, 1989.
Citace podle MLARoever, W.-P. de, Grzegorz Rozenberg, and Jacobus W. de Bakker. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Berlin ; Heidelberg ; New York: Springer, 1989.
Více o citacích