e GI: Publications


Publications

Author:Mutz, Martin and Huhn, Michaela
Title:Automated Statechart Analysis for User-defined Design Rules.
Year:2003
Number:TR2003-10
Institution:Informatik-Berichte der TU Braunschweig
BibTeX-Code:
@techreport{MH03,
author={Mutz, Martin and Huhn, Michaela},
title={Automated Statechart Analysis for User-defined Design Rules.},
year={2003},
number={TR2003-10},
institution={Informatik-Berichte der TU Braunschweig},
}


Back to summary
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2018