Testing semantics: Connecting processes and process logics
Dusko Pavlovic‚ Michael Mislove and James Worrell
Details
| Book 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
Related pages
|
People |