Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss. DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends, 31(3), 2011. [doi]
@article{HeckelerBRKRW11,
title = {DWARF-driven Equivalence Checking of UML Statecharts and Software Components},
author = {Patrick Heckeler and Jörg Behrend and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel and Roland Weiss},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31_3/03_Technische_Beitraege/heckeler.pdf},
researchr = {https://researchr.org/publication/HeckelerBRKRW11},
cites = {0},
citedby = {0},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {3},
}