@InProceedings{BK97b,
author={C. Baier and M. Kwiatkowska},
title={Domain Equations for Probabilistic Processes (Extended Abstract)},
booktitle={Proc. EXPRESS'97},
year={1997},

editor={},
pages={},
organization={},
publisher={Elsevier},
series={Electronic Notes in Theoretical Computer Science},
volume={7},
address={},
month={},
note={},
key={}
}