Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Keyword
is
SAT-modulo-theories
[Clear All Filters]
2014
R. Wimmer
,
N. Jansen
,
E. Ábrahám
,
J. - P. Katoen
, and
B. Becker
, “
Minimal counterexamples for linear-time probabilistic verification
”,
Theoretical Computer Science
, vol. 549, p. 61 - 100, 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
