SE Verwer

Journal article (2)

2 records found

Software model synthesis using satisfiability solvers

Journal article (2013) - M.J.H. Heule (author) , SE Verwer (author)

Efficiently identifying deterministic real-time automata from labeled data