Details for the publication CrouzenHZ08.

Pepijn Crouzen, Holger Hermanns (), Lijun Zhang: On the Minimisation of Acyclic Models. In CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, volume 5201 of Lecture Notes in Computer Science, pages 295-309, 2008. DOI BIB