Adel Benamira, Djamel-Eddine Saïdouni. Maximality-Based Labeled Transition Systems Normal Form. In Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche, editors, Modeling Approaches and Algorithms for Advanced Computer Applications. Volume 488 of Studies in Computational Intelligence, pages 337-346, Springer, 2013. [doi]
Abstract is missing.