DMCA

A Fresh Approach to Learning Register Automata (2013)

by Benedikt Bollig , Peter Habermehl , Martin Leucker , Benjamin Monmege
Citations:5 - 1 self