Media type: E-Article Title: Mathematical Foundations of Computer Science 2015: Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus Contributor: Dima, Cătălin; Maubert, Bastien; Pinchinat, Sophie imprint: Springer Berlin Heidelberg, 2015 Published in: Mathematical Foundations of Computer Science 2015 Language: Not determined DOI: 10.1007/978-3-662-48057-1_14 ISSN: 0302-9743; 1611-3349 Origination: Footnote: