G | |
---|---|
[vG90] | Rob van Glabbeek. The linear-time–branching-time spectrum. In CONCUR'90, Lecture Notes in Computer Science 458, pages 278-297. Springer-Verlag, August 1990. |
Search
Displayed 1 resultList of authors
- 1
G | |
---|---|
[vG90] | Rob van Glabbeek. The linear-time–branching-time spectrum. In CONCUR'90, Lecture Notes in Computer Science 458, pages 278-297. Springer-Verlag, August 1990. |