Oxford logo
[BK00b] C. Baier and M. Kwiatkowska. On topological hierarchies of temporal properties. Fundamenta Informaticae, 41(3), pages 259-294. 2000. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (134 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications