Oxford logo
[KPP94] M. Kwiatkowska, D. Peled and W. Penczek. A hierarchy of partial order temporal properties. In Proc. International Conference on Temporal Logic, volume 827 of LNCS, pages 65-83, Springer. 1994. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (44 KB)  bib bib
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications