Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan. TESL: A language for reconciling heterogeneous execution traces. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 114-123, IEEE, 2014. [doi]
@inproceedings{BoulangerJHP14, title = {TESL: A language for reconciling heterogeneous execution traces}, author = {Frédéric Boulanger and Christophe Jacquet and Cécile Hardebolle and Iuliana Prodan}, year = {2014}, doi = {10.1109/MEMCOD.2014.6961849}, url = {http://dx.doi.org/10.1109/MEMCOD.2014.6961849}, researchr = {https://researchr.org/publication/BoulangerJHP14}, cites = {0}, citedby = {0}, pages = {114-123}, booktitle = {Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014}, publisher = {IEEE}, }