Amanote Research
Register
Sign In
Guided Model Checking With a Bayesian Meta-Heuristic
doi 10.1109/csd.2004.1309134
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
K. Seppi
M. Jones
P. Lamborn
Publisher
IEEE