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

Shabana, Hanan

  1. Using Sat solvers for synchronization issues in partial deterministic automata
    2019/03/25 by Shabana, Hanan, Volkov, Mikhail V. · 1 citation
    #68Q45 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)