@InProceedings{Kwi94,
author={M. Kwiatkowska},
title={Concurrency, Fairness and Logical Complexity},
booktitle={Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing},
year={1994},

editor={},
pages={195-208},
organization={},
publisher={Springer},
series={},
volume={},
address={},
month={},
note={},
key={}
}