Stefan Leue - Selected Recent Presentations

  • Directed Explicit-State Model Checking, Microsoft Research, March 26, 2003. PDF file.
  • Gerichtetes Model Checking in explizit repäsentierten Zustandsräumen, Graduiertenkolleg Mathematische Logik und Anwendungen, January 13, 2003. PDF file.
  • Gerichtetes Model Checking in der Verifikation von Kommunikationsprotokollen, Technical University of Munich, December 2, 2002. PDF file.


    • Last modified: April 8, 2003.
    Stefan Leue <leue@uni-freiburg.de>