> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Mathematical Foundations of Computer Science 2015: Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus Beteiligte: Dima, Cătălin; Maubert, Bastien; Pinchinat, Sophie Erschienen: Springer Berlin Heidelberg, 2015 Erschienen in: Mathematical Foundations of Computer Science 2015 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-662-48057-1_14 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: