Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[Kwi89b]
Kwiatkowska, Marta Zofia.
Fairness for non-interleaving concurrency.
Ph.D. thesis, University of Leicester.
1989.
[
bib
]
Downloads:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications
bib