Searching for authors named "Peter Lamborn" – sorted by Relevance.
-
Guided model checking with a bayesian meta-heuristic
- Guided Model Checking with a Bayesian Meta-heuristic Kevin Seppi, Michael Jones and Peter Lamborn
- Cited by 2 (0 self) – Add To MetaCart

