| langue originale | Anglais |
|---|---|
| titre | Moves-Verif Workshop at ASE2010 |
| Nombre de pages | 10 |
| Etat de la publication | Non publié - 2010 |
Decidable Distributed Event Clock Automata
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque