vix.ing · top · new · best · stats · spec

Bauland, Michael

  1. The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
    2008/05/05 by Bauland, Michael, Mundhenk, Martin, Schneider, Thomas +3 · 1 citation
    #Computational Complexity (cs.CC) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)