279 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997 The Model Checker - IEEE Transactions on Software Engineering - Document - PDFSEARCH.IO

First Page	Meta Content
	279 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997 The Model Checker Add to Reading List Document Date: 2014-05-18 16:02:08 Open Document File Size: 3,99 MB Share Result on Facebook

279 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997 The Model CheckerAdd to Reading List