Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Sergio Giro
[Clear All Filters]
2014
S. Giro
,
P. R. D'Argenio
, and
L. M. Ferrer Fioriti
, “
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms
”,
Theoretical Computer Science
, vol. 538, p. 84-102, 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
