J. Fisher, T.A. Henzinger, M. Mateescu, and N. Piterman January 2008
In: Proceedings of FMSB ’08 Cambridge, UK
Publisher: Springer