Proving Properties of Concurrent Programs (Extended Abstract) Gerard J. Holzmann Jet Propulsion Laboratory, California Institute of Technology - Propulsion - Document - PDFSEARCH.IO

First Page	Meta Content
	Proving Properties of Concurrent Programs (Extended Abstract) Gerard J. Holzmann Jet Propulsion Laboratory, California Institute of Technology Add to Reading List Document Date: 2013-06-30 13:44:58 Open Document File Size: 111,20 KB Share Result on Facebook

Proving Properties of Concurrent Programs (Extended Abstract) Gerard J. Holzmann Jet Propulsion Laboratory, California Institute of Technology Add to Reading List