Guided model checking with a bayesian meta-heuristic (2006)

Cached

Download Links

by Kevin Seppi , Michael Jones , Peter Lamborn
Venue:Fundam. Inform
Citations:4 - 0 self