First Page | Document Content | |
---|---|---|
Date: 2012-07-30 14:15:10 | Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USAAdd to Reading ListSource URL: spinroot.comDownload Document from Source WebsiteFile Size: 460,92 KBShare Document on Facebook |