@inproceedings{HP22,
  author       = {Daniel Hausmann and
                  Nir Piterman},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Krishnendu Chatterjee and
                  Laurent Doyen and
                  Rupak Majumdar},
  title        = {A Survey on Satisfiability Checking for the {\(\mu\)}-Calculus Through
                  Tree Automata},
  booktitle    = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
                  on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {13660},
  pages        = {228--251},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-22337-2\_11},
  doi          = {10.1007/978-3-031-22337-2\_11},
  timestamp    = {Fri, 06 Jan 2023 08:07:57 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/0001P22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xui5xv5ppBEmWFyNb","bibbaseid":"hausmann-piterman-asurveyonsatisfiabilitycheckingforthecalculusthroughtreeautomata-2022","author_short":["Hausmann, D.","Piterman, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Hausmann"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]}],"editor":[{"firstnames":["Jean-François"],"propositions":[],"lastnames":["Raskin"],"suffixes":[]},{"firstnames":["Krishnendu"],"propositions":[],"lastnames":["Chatterjee"],"suffixes":[]},{"firstnames":["Laurent"],"propositions":[],"lastnames":["Doyen"],"suffixes":[]},{"firstnames":["Rupak"],"propositions":[],"lastnames":["Majumdar"],"suffixes":[]}],"title":"A Survey on Satisfiability Checking for the \\(μ\\)-Calculus Through Tree Automata","booktitle":"Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday","series":"Lecture Notes in Computer Science","volume":"13660","pages":"228–251","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-031-22337-2\\_11","doi":"10.1007/978-3-031-22337-2_11","timestamp":"Fri, 06 Jan 2023 08:07:57 +0100","biburl":"https://dblp.org/rec/conf/birthday/0001P22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{HP22,\n author = {Daniel Hausmann and\n Nir Piterman},\n editor = {Jean{-}Fran{\\c{c}}ois Raskin and\n Krishnendu Chatterjee and\n Laurent Doyen and\n Rupak Majumdar},\n title = {A Survey on Satisfiability Checking for the {\\(\\mu\\)}-Calculus Through\n Tree Automata},\n booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger\n on the Occasion of His 60th Birthday},\n series = {Lecture Notes in Computer Science},\n volume = {13660},\n pages = {228--251},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-031-22337-2\\_11},\n doi = {10.1007/978-3-031-22337-2\\_11},\n timestamp = {Fri, 06 Jan 2023 08:07:57 +0100},\n biburl = {https://dblp.org/rec/conf/birthday/0001P22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Hausmann, D.","Piterman, N."],"editor_short":["Raskin, J.","Chatterjee, K.","Doyen, L.","Majumdar, R."],"key":"HP22","id":"HP22","bibbaseid":"hausmann-piterman-asurveyonsatisfiabilitycheckingforthecalculusthroughtreeautomata-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-22337-2\\_11"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["survey","satisfiability","checking","calculus","through","tree","automata","hausmann","piterman"],"title":"A Survey on Satisfiability Checking for the \\(μ\\)-Calculus Through Tree Automata","year":2022}