System verification tools based on monadic logics

Abdelwaheb Ayari. System verification tools based on monadic logics. PhD thesis, University of Freiburg, 2004. [doi]

Abstract

Abstract is missing.