| langue originale | Anglais |
|---|---|
| Type | Newsletter on Modelling, Verification and Evolution of Software (MoVES) |
| Nombre de pages | 1 |
| Lieu de publication | Brussels |
| Edition | 5 |
| Volume | Work Package |
| Etat de la publication | Publié - 2011 |
Refinement & Synthesis - Distributed Event Clock Automata
James Jerson Ortiz Vega, Pierre-Yves Schobbens, Axel Legay
Résultats de recherche: Autre contribution
27
Téléchargements
(Pure)