Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus.
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015, Unknown, Unknown Region. pp.179--191,
⟨10.1007/978-3-662-48057-1_14⟩.
⟨hal-01699931⟩