A complete proof system for timed observations

Aachen / Fachgruppe Informatik, RWTH (1990) [Bericht]

Seite(n): 28 S.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Ortega-Mallén, Yolanda
de Frutos-Escrig, David

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-008375