A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter - Integration by substitution - Document - PDFSEARCH.IO

First Page	Meta Content
	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Document Date: 2012-09-02 13:47:59 Open Document File Size: 442,85 KB Share Result on Facebook

A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost WinterAdd to Reading List