@incollection{JaninWalukiewicza,
Author = {Janin, David and Walukiewicz, Igor},
BookTitle = {Mathematical Foundations of Computer Science 1995},
Editor = {Wiedermann, Ji{\v r}{\'\i} and H{\'a}jek, Petr},
File = {Automata for the modal {$\mu$}-calculus and related results - Janin, Walukiewicz (0) (0) - a - a - x.pdf},
ISBN = {978-3-540-60246-0},
Keywords = {modal mu-calculus and tree automata},
Pages = {552-562},
Publisher = {Springer Berlin Heidelberg},
Series = {Lecture Notes in Computer Science},
Title = {Automata for the modal {$\mu$}-calculus and related results},
URL = {http://dx.doi.org/10.1007/3-540-60246-1\_160},
Volume = {969},
Year = {1995},
bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-60246-1\_160},
date-added = {2013-03-27 14:27:58 +0000},
date-modified = {2013-03-27 14:28:27 +0000},
file-2 = {Automata for the modal {$\mu$}-calculus and related results - Janin, Walukiewicz (1) (0) - a - a - x.pdf},
doi = {10.1007/3-540-60246-1_160}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A