Publicações

SLMC: A Tool for Model Checking Concurrent Systems Against Dynamical Spatial Logic Specifications

AuthID
P-008-3CC

Author(s)

Caires, L

Vieira, HT

Editor(es)

Flanagan, C; Konig, B

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7214, Páginas: 485-491 (7)

Conference

18Th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Tacas), Date: MAR 24-APR 01, 2012, Location: Tallinn, ESTONIA, Patrocinadores: Institute of Cybernetics at TUT;Tallinn University of Technology(TUT);Est. Cent. Excellence Comput. Sci. (EXCS);Eur. Reg. Dev. Fund (ERDF);Estonian Convention Bureau;Microsoft Research

Indexing