J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Volume 354 of Lecture Notes in Computer Science, Springer, 1989.
Conference: rex1989
@proceedings{rex:1988,
title = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings},
year = {1989},
tags = {logic},
researchr = {https://researchr.org/publication/rex%3A1988},
cites = {0},
citedby = {0},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings},
conference = {rex},
editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
volume = {354},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51080-X},
}