Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Mohammad Reza Mousavi
[Clear All Filters]
2013
M. Churchill
,
P. D. Mosses
, and
M. R. Mousavi
, “
Modular Semantics for Transition System Specifications with Negative Premises
”, in
CONCUR 2013 – Concurrency Theory
, 2013, vol. 8052, p. 46-60.
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
