Abdelwaheb Ayari. System verification tools based on monadic logics. PhD thesis, University of Freiburg, 2004. [doi]
@phdthesis{de-5402, title = {System verification tools based on monadic logics}, author = {Abdelwaheb Ayari}, year = {2004}, url = {http://freidok.ub.uni-freiburg.de/volltexte/1234/index.html}, note = {http://d-nb.info/970791259}, researchr = {https://researchr.org/publication/de-5402}, cites = {0}, citedby = {0}, school = {University of Freiburg}, }