Refinement & Synthesis - Distributed Event Clock Automata

Résultats de recherche: Autre contribution

18 Téléchargements (Pure)
langue originaleAnglais
TypeNewsletter on Modelling, Verification and Evolution of Software (MoVES)
Nombre de pages1
Lieu de publicationBrussels
Edition5
VolumeWork Package
Etat de la publicationPublié - 2011

Contient cette citation