@InProceedings{BK97c,
author={C. Baier and M. Kwiatkowska},
title={On topological hierarchies of temporal properties},
booktitle={Proc. Partial Order Methods in Verification: Dimacs Workshop},
year={1997},

editor={},
pages={141-170},
organization={},
publisher={AMS Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}