The Automata-Theoretic Method Works for TCTL Model Checking

Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • September 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_00000215
 
vorgesehene URN:NBNurn:nbn:de:gbv:8:1-zs-00000215-a5
IDNummer des Berichts :
  • Tr_9811