Testing semantics: Connecting processes and process logics
Dusko Pavlovic, Michael Mislove and James Worrell infobook title | Proceedings of AMAST 2006 |
editor | Michael Johnson and Varmo Vene |
pages | 308—322 |
publisher | Springer Verlag |
series | Lecture Notes in Computer Science |
volume | 4019 |
year | 2006 |
links
BibTeX
Link (pdf)
related pages
|
