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 www.springerlink.com.

QAV:

Home

People

Projects

Publications