Eine temporale Logik mit strukturellen Operatoren zur Spezifikation paralleler Programme

  • Vollständige Referenz
  • BibTeX
Paech, B., (1991). Eine temporale Logik mit strukturellen Operatoren zur Spezifikation paralleler Programme.   Vol. 4, Rundbrief: Netzwerke. Gesellschaft für Informatik e.V.. (S. 32-32).
@article{mci/Paech1991,
author = {Paech, Barbara},
title = {Eine temporale Logik mit strukturellen Operatoren zur Spezifikation paralleler Programme},
journal = {Vol. 4, Rundbrief},
volume = {},
number = {},
year = {1991},
,
pages = { 32-32 }
}
DateienGroesseFormatAnzeige
MFI-4-32.pdf148.4Kb PDF Einloggen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

Datum: 1991
Sprache: de (de)
Typ: Text/Journal Article
Sammlungen

Zur Langanzeige