![](/img/cover-not-exists.png)
[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - A Symbolic Algorithm for Shortest EG Witness Generation
Zhao, Yang, Jin, Xiaoqing, Ciardo, GianfrancoYear:
2011
Language:
english
DOI:
10.1109/tase.2011.35
File:
PDF, 444 KB
english, 2011