DMCA

Automated test generation from timed automata

Cached

Download Links

by Brian Nielsen , Arne Skou
Venue:STTT
Citations:34 - 5 self