Jonathan E. Cook, Cha He, Changjun Ma. Measuring Behavioral Correspondence to a Timed Concurrent Model. In ICSM. pages 332-341, 2001. [doi]
@inproceedings{CookHM01,
title = {Measuring Behavioral Correspondence to a Timed Concurrent Model},
author = {Jonathan E. Cook and Cha He and Changjun Ma},
year = {2001},
url = {http://computer.org/proceedings/icsm/1189/11890332abs.htm},
tags = {e-science},
researchr = {https://researchr.org/publication/CookHM01},
cites = {0},
citedby = {0},
pages = {332-341},
booktitle = {ICSM},
}