SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications Lu´ıs Caires and Hugo Torres Vieira CITI Departamento de Inform´atica, FCT Universidade Nova de Lisboa, Portugal Abst - Canadian Red Cross - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-09-27 14:27:13		SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications Lu´ıs Caires and Hugo Torres Vieira CITI / Departamento de Inform´atica, FCT Universidade Nova de Lisboa, Portugal Abst Add to Reading List Source URL: ctp.di.fct.unl.pt Download Document from Source Website File Size: 172,65 KB Share Document on Facebook