Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[KST90]
M. Kwiatkowska and M. Shields and R. Thomas (editors),
Semantics for Concurrency.
Springer-Verlag.
1990.
[
bib
]
Downloads:
bib
Notes:
The original publication is available at
link.springer.com
.
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications
bib