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

QAV:

Home

People

Projects

Publications