Amanote Research
Register
Sign In
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
doi 10.1109/date.2003.1253780
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
E. Pastor
M.A. Pena
Publisher
IEEE Comput. Soc
