Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
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