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

Mojmír Křetínský

  1. LTL to Büchi Automata Translation: Fast and More Deterministic
    2012/01/03 by Tomáš Babiak, Babiak, Tomáš, Mojmír Křetínský +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO