Concurrent temporal logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
32 Bl.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Literaturverz. Bl. 30 - 32

Erschienen in
SFB-Bericht / B / Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen ; Nr. 91,7, B

Ereignis
Veröffentlichung
(wo)
München
(wer)
TUM, SFB 342
(wann)
1991
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:42 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1991

Ähnliche Objekte (12)

The temporal logic of reactive and concurrent systems : specification

The temporal logic of reactive and concurrent systems : specification

Towards Concurrent Quantitative Separation Logic

Towards Concurrent Quantitative Separation Logic

Towards Concurrent Quantitative Separation Logic

Towards Concurrent Quantitative Separation Logic

Temporal Logic

Temporal Logic

Markov temporal logic

Markov temporal logic

Model Checking Concurrent Systems Using Temporal Logics

Hochschulschrift

Model Checking Concurrent Systems Using Temporal Logics

Temporal assertions for sequential and concurrent programs

Hochschulschrift

Temporal assertions for sequential and concurrent programs

Inductive temporal logic programming

Hochschulschrift

Inductive temporal logic programming

Tense or temporal logic

Tense or temporal logic

Temporal logic, [Pt. 1]

Temporal logic, [Pt. 1]

Temporal logic, Pt. 2

Temporal logic, Pt. 2

Conclog: a methodological approach to concurrent logic programming

Conclog: a methodological approach to concurrent logic programming

Verbundene Objekte