Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
| Korporativní autor: | |
|---|---|
| Další autoři: | , , |
| Typ dokumentu: | Konferenční sborník Kniha |
| Jazyk: | angličtina |
| ISBN: | 0-387-51080-X 3-540-51080-X |
| Rok: |
Berlin ; Heidelberg ; New York :
Springer,
1989
|
| Edice: | Lecture notes in computer science
|
| Témata: |