Semantics and Verification of Statecharts

Weitere TitelZusatztitel :
  • Zugl.: Kiel, Univ., Diss., 2000
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Oktober 2000
BemerkungAnnotation :
  • This report is not available as a digital edition but a print edition can be found in the stock of the Kiel University Library.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000251
 
vorgesehene URN:NBNurn:nbn:de:gbv:8:1-zs-00000251-a4
IDNummer des Berichts :
  • Tr_2011