A Fluid Approach to Model Checking Jane Hillston joint work with Luca Bortolussi School of Informatics - Jane Hillston - Document - PDFSEARCH.IO

First Page	Meta Content
	A Fluid Approach to Model Checking Jane Hillston joint work with Luca Bortolussi School of Informatics Add to Reading List Document Date: 2015-03-03 07:19:47 Open Document File Size: 1,57 MB Share Result on Facebook

A Fluid Approach to Model Checking Jane Hillston joint work with Luca Bortolussi School of InformaticsAdd to Reading List