[IEEE Comput. Soc International Conference on Application of Concurrency to System Design (ACSD'2003) - Guimaraes, Portugal (18-20 June 2003)] Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. - Merging state-based and action-based verification
Hansen, H., Virtanen, H., Valmari, A.Year:
2003
Language:
english
DOI:
10.1109/csd.2003.1207709
File:
PDF, 475 KB
english, 2003