[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Improving the accuracy of Petri net-based analysis of concurrent programs
Chamillard, A. T., Clarke, Lori A.Year:
1996
Language:
english
DOI:
10.1145/229000.226299
File:
PDF, 1.36 MB
english, 1996