Refinement & Synthesis - Distributed Event Clock Automata

Research output: Other contribution

9 Downloads (Pure)
Original languageEnglish
TypeNewsletter on Modelling, Verification and Evolution of Software (MoVES)
Number of pages1
Place of PublicationBrussels
Edition5
VolumeWork Package
Publication statusPublished - 2011

Cite this

@misc{07afd3bb6d8b4ea5b7878fd61a7a04dd,
title = "Refinement & Synthesis - Distributed Event Clock Automata",
author = "{Ortiz Vega}, {James Jerson} and Pierre-Yves Schobbens and Axel Legay",
year = "2011",
language = "English",
volume = "Work Package",
edition = "5",
type = "Other",

}

Refinement & Synthesis - Distributed Event Clock Automata. / Ortiz Vega, James Jerson; Schobbens, Pierre-Yves; Legay, Axel.

1 p. 5 ed. Brussels. 2011, Newsletter on Modelling, Verification and Evolution of Software (MoVES).

Research output: Other contribution

TY - GEN

T1 - Refinement & Synthesis - Distributed Event Clock Automata

AU - Ortiz Vega, James Jerson

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

PY - 2011

Y1 - 2011

M3 - Other contribution

VL - Work Package

CY - Brussels

ER -