A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} - Kowalski - Document - PDFSEARCH.IO

First Page	Meta Content
	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} Add to Reading List Document Date: 2012-06-12 08:05:15 Open Document File Size: 538,08 KB Share Result on Facebook

A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,}Add to Reading List