Parametric Computation Tree Logic with Knowledge A. V. Jones1 , A. Lomuscio1 , M. Knapik2,3 , and W. Penczek2,4 1 Department of Computing, Imperial College London, UK - Computation tree logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Parametric Computation Tree Logic with Knowledge A. V. Jones1 , A. Lomuscio1 , M. Knapik2,3 , and W. Penczek2,4 1 Department of Computing, Imperial College London, UK Add to Reading List Document Date: 2011-09-01 11:05:18 Open Document File Size: 920,66 KB Share Result on Facebook

Parametric Computation Tree Logic with Knowledge A. V. Jones1 , A. Lomuscio1 , M. Knapik2,3 , and W. Penczek2,4 1 Department of Computing, Imperial College London, UKAdd to Reading List