KIT | KIT-Bibliothek | Impressum | Datenschutz

A formal protocol specification with predicate/transition nets

Eggert, H.; Korczynski, W.


Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1990
Sprache Englisch
Identifikator KITopen-ID: 170028124
HGF-Programm 18.01.05 (Vor POF, LK 01)
Seiten 25-40
Erscheinungsvermerk Haapanen, P.J. [Hrsg.] Artificial Intelligence in Nuclear Power Plants: Proc.of a Symp., Helsinki, SF, October 10-12, 1989 Espoo : Valtion Teknillinen Tutkimuskeskus, 1990. - Vol. 2 (VIT Symposium ; 110)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page