Oxford logo
[HK97] M. Huth and M. Kwiatkowska. Quantitative Analysis and Model Checking. In Proc. 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), pages 111-122, IEEE CS Press. March 1997. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (55 KB)  bib bib

QAV:

Home

People

Projects

Publications