On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC - Exploration - Document - PDFSEARCH.IO

First Page	Meta Content
	On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC & Universidade do Minho Add to Reading List Document Date: 2018-06-13 06:07:43 Open Document File Size: 93,59 KB Share Result on Facebook

On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC & Universidade do MinhoAdd to Reading List