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

Cox, Arlen

  1. Model Checking Regular Language Constraints
    2017/08/30 by Cox, Arlen, Leasure, Jason · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC)