NASA NTRS · 20060030344
Automated model checking with promela/spin
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Benowitz, E., Pingree, P.. 2002-11-04. Automated model checking with promela/spin. https://ntrs.nasa.gov/citations/20060030344
Cite the original work for its findings. Save a collection to share your selection of sources.