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

AuthID
P-008-3CC
2
Author(s)
2
Editor(s)
Flanagan, C; Konig, B
Document Type
Proceedings Paper
Year published
2012
Published
in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7214, Pages: 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, Sponsors: 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
Publication Identifiers
Dblp: conf/tacas/CairesV12
Scopus: 2-s2.0-84859357684
Wos: WOS:000342900100035
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.