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 AbstAdd to Reading ListSource URL: ctp.di.fct.unl.ptDownload Document from Source WebsiteFile Size: 172,65 KBShare Document on Facebook |