Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Friedrich Gretz
[Clear All Filters]
2013
F. Gretz
,
J. - P. Katoen
, and
A. McIver
, “
Prinsys - On a Quest for Probabilistic Loop Invariants
”, in
Quantitative Evaluation of Systems, QEST 2013
, 2013, vol. 8054, p. 193-208.
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