Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic. LTSs for translation validation of (multi-clocked) SIGNAL specifications. In 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010. pages 199-208, IEEE Computer Society, 2010. [doi]
@inproceedings{PeraltaGBG10,
title = {LTSs for translation validation of (multi-clocked) SIGNAL specifications},
author = {Julio C. Peralta and Thierry Gautier and Loïc Besnard and Paul Le Guernic},
year = {2010},
doi = {10.1109/MEMCOD.2010.5558632},
url = {http://dx.doi.org/10.1109/MEMCOD.2010.5558632},
tags = {translation, C++},
researchr = {https://researchr.org/publication/PeraltaGBG10},
cites = {0},
citedby = {0},
pages = {199-208},
booktitle = {8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010},
publisher = {IEEE Computer Society},
}