@inproceedings{111b116d1a0142f59d14641d553408a0,
title = "An effective tableau system for the linear time μ-calciilus",
abstract = "We present a tableau system for the model checking problem of the linear time μ-calculus. It improves the system of Stirling and Walker by simplifying the success condition for a tableau. In our system success for a leaf is determined by the path leading to it, whereas Stirling and Walker's method requires the examination of a potentially infinite number of paths extending over the whole tableau.",
keywords = "Linear-time μ-calculus, Local model-checking, Tableau systems, Temporal logic",
author = "Julian Bradfield and Javier Esparza and Angelika Mader",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 23rd International Colloquium on Automata, Languages, and Programming, ICALP 1996 ; Conference date: 08-07-1996 Through 12-07-1996",
year = "1996",
doi = "10.1007/3-540-61440-0_120",
language = "English",
isbn = "3540614400",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "98--109",
editor = "{Meyer auf der Heide}, Friedhelm and Burkhard Monien",
booktitle = "Automata, Languages and Programming - 23rd International Colloquium, ICALP 1996, Proceedings",
}