| Original language | English |
|---|---|
| Title of host publication | Moves-Verif Workshop at ASE2010 |
| Number of pages | 10 |
| Publication status | Unpublished - 2010 |
Decidable Distributed Event Clock Automata
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution