Counterexample-based refinement for a boundedness test for CFSM languages (2005)

by Stefan Leue , Wei Wei
Venue:In Model Checking Software, 12th International SPIN Workshop, Proceedings, volume 3639 of Lecture Notes in Computer Science
Citations:5 - 4 self