Oxford logo
[BK97c] C. Baier and M. Kwiatkowska. On topological hierarchies of temporal properties. In Proc. Partial Order Methods in Verification: Dimacs Workshop, pages 141-170, AMS Press. 1997. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (133 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications