
[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Order-Independence of Vector-Based Transition Systems
Raffelsieper, Matthias, Mousavi, MohammadReza, Zantema, HansAnnée:
2010
Langue:
english
DOI:
10.1109/acsd.2010.24
Fichier:
PDF, 298 KB
english, 2010