Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Search results for
wp1
[Reset Search]
2011
L. Zhang
,
D. N. Jansen
,
F. Nielson
, and
H. Hermanns
, “
Automata-Based CSL Model Checking
”,
Logical Methods in Computer Science
, vol. 8, 2011.
Google Scholar
BibTex
1104.4983.pdf
(230.89 KB)
Pages
« first
‹ previous
1
2
3
4
5
6
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables
1104.4983.pdf (230.89 KB)1104.4983.pdf (230.89 KB)
1104.4983.pdf (230.89 KB) 
