Decidable Distributed Event Clock Automata

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titreMoves-Verif Workshop at ASE2010
Nombre de pages10
étatNon publié - 2010

Contient cette citation

Ortiz Vega, J. J., & Schobbens, P-Y. (2010). Decidable Distributed Event Clock Automata. Non publié. Dans Moves-Verif Workshop at ASE2010