Alexander Schimpf – Publications

(Show all abstracts) (Hide all abstracts)


  • Alexander Schimpf, Stephan Merz and Jan-Georg Smaus.
    Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL.
    In Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel (ed.), Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), pp. 424-439. Springer-Verlag 2009.
    (Show abstract) (BIB)