Logo des Repositoriums
 
Zeitschriftenartikel

Eine temporale Logik mit strukturellen Operatoren zur Spezifikation paralleler Programme

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

1991

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Paech, Barbara (1991): Eine temporale Logik mit strukturellen Operatoren zur Spezifikation paralleler Programme. Vol. 4, Rundbrief: Netzwerke. Gesellschaft für Informatik e.V.. pp. 32-32. Titel

Schlagwörter

Zitierform

DOI

Tags