A temporal logic for the specification and verification of distributed behaviour

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Niebert, Peter (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	1998
Schlagworte:	Verteiltes System Endlicher Automat Model Checking Prozess > Informatik Temporale Logik Automatentheorie Fixpunkt-Logik Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

A temporal logic for the specification and verification of distributed behaviour von Niebert, Peter

Veröffentlicht 1997

Buch