Semi-external LTL model checking

  • Conference:

    CAV 2008

  • Location:Princeton
  • Date:July 2008
  • Author(s):

    S. Edelkamp, P. Sanders, P. Simecek

  • Page(s):530-542
  • Links: