Semi-external LTL model checking

  • Tagung:

    CAV 2008

  • Tagungsort:Princeton
  • Datum:July 2008
  • Autoren:

    S. Edelkamp, P. Sanders, P. Simecek

  • Seite:530-542
  • Links: