%0 Generic
%T Mathematical Foundations of Computer Science 2015: Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
%A Dima, Cătălin
%A Maubert, Bastien
%A Pinchinat, Sophie
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2015
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation