Jonathan E. Cook, Cha He, Changjun Ma
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSME, 2001.
@inproceedings{ICSM-2001-CookHM,
author = "Jonathan E. Cook and Cha He and Changjun Ma",
booktitle = "{Proceedings of the 17th International Conference on Software Maintenance}",
ee = "http://computer.org/proceedings/icsm/1189/11890332abs.htm",
pages = "332--341",
publisher = "{IEEE Computer Society}",
title = "{Measuring Behavioral Correspondence to a Timed Concurrent Model}",
year = 2001,
}