245 followers
On Automation of CTL* Verification for Infinite-State Systems. - Byron Cook, Heidy Khlaaf, Nir Piterman http://t.co/GuA1L4gm2g
On Automation of CTL* Verification for Infinite-State Systems. - Byron Cook, Heidy Khlaaf, Nir Piterman http://t.co/GuA1L4gm2g