L.: On the minimisation of acyclic models (2008)

by P Crouzen, H Hermanns, Zhang
Venue:Proceedings of the 19th International Conference on Concurrency Theory (CONCUR), LNCS