DMCA

Automata learning through counterexample-guided abstraction refinement (2012)

Cached

Download Links

by Fides Aarts , Faranak Heidarian , Petur Olsen , Frits Vaandrager
Venue:in Proc. FM 2012, LNCS
Citations:14 - 6 self