Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[BK95]
M. Bonsangue and M. Kwiatkowska.
Re-interpreting the modal mu-calculus.
In
Proc. Modal Logic and Process Algebra
, volume 53 of CSLI Lecture Notes, pages 65-83, CSLI Publications.
1995.
[
ps.gz
] [
bib
]
Downloads:
ps.gz
(61 KB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications