Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Damián E. Nadales Agut
[Clear All Filters]
2013
D. E. Nadales Agut
,
D. A. van Beek
, and
J. E. Rooda
, “
Syntax and semantics of the compositional interchange format for hybrid systems
”,
J. Log. Algebr. Program.
, vol. 82, p. 1-52, 2013.
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
