@InProceedings{KPP94,
author={M. Kwiatkowska,D. Peled and W. Penczek},
title={A hierarchy of partial order temporal properties},
booktitle={Proc. International Conference on Temporal Logic},
year={1994},

editor={},
pages={65-83},
organization={},
publisher={Springer},
series={LNCS},
volume={827},
address={},
month={},
note={},
key={}
}