Back to Results
First PageMeta Content



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

Document Date: 2012-09-27 14:27:13


Open Document

File Size: 172,65 KB

Share Result on Facebook
UPDATE