Verifying temporal properties without using temporal logic:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Alpern, Bowen (VerfasserIn), Schneider, Fred B. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Ithaca, New York 1985
Schriftenreihe:Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 723
Schlagworte:
Beschreibung:41 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!