[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Modular construction of the symbolic observation graph
Klai, Kais, Petrucci, LaureYear:
2008
Language:
english
DOI:
10.1109/acsd.2008.4574600
File:
PDF, 200 KB
english, 2008