Refinement & Synthesis - Distributed Event Clock Automata

Research output: Other contribution

27 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