author = { Dima, Cătălin AND Maubert, Bastien AND Pinchinat, Sophie },

title = { Mathematical Foundations of Computer Science 2015: Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2015},

url = { http://slubdd.de/katalog?TN_libero_mab2 }