Larger automata and less work for LTL model checking

  • Jacobus Geldenhuys (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period2006
    Event titleModel Checking Software, 13th International SPIN Workshop Vienna, Austria, March/April 2006. LNCS
    Event typeConference

    Country of activity

    • Austria

    Publication forum classification

    • No publication forum level