Title

Linear time, branching time and partial order in logics and models for concurrency
Titel Supplements
School/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988
Verlag
Verlagsort
Berlin
Datum
1989
Serie
Lecture Notes in Computer Science
ISBN
3-540-51080-X
0-387-51080-X
Konferenz