Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Keyword
is
CEGAR
[Clear All Filters]
2014
L. Song
,
L. Zhang
,
H. Hermanns
, and
J. C. Godskesen
, “
Incremental Bisimulation Abstraction Refinement
”,
ACM Trans. Embed. Comput. Syst.
, vol. 13, p. 142:1–142:23, 2014.
DOI
Google Scholar
BibTex
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
