Tool Support for System Specification, Development, and Verification : preliminary proceedings of a workshop, held in Malente, June 2 - 4, 1998

Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Juni 1998
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_00000223
 
vorgesehene URN:NBNurn:nbn:de:gbv:8:1-zs-00000223-a8
IDNummer des Berichts :
  • Tr_9803