Ian G. Harris. A coverage metric for the validation of interacting processes. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 1019-1024, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
@inproceedings{Harris06, title = {A coverage metric for the validation of interacting processes}, author = {Ian G. Harris}, year = {2006}, doi = {10.1145/1131763}, url = {http://doi.acm.org/10.1145/1131763}, tags = {coverage}, researchr = {https://researchr.org/publication/Harris06}, cites = {0}, citedby = {0}, pages = {1019-1024}, booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006}, editor = {Georges G. E. Gielen}, publisher = {European Design and Automation Association, Leuven, Belgium}, isbn = {3-9810801-0-6}, }