Temporal logic and state systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kröger, Fred (VerfasserIn)
Weitere Verfasser:	Merz, Stephan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg Springer 2008
Schriftenreihe:	Texts in theoretical computer science
Schlagworte:	Tense (Logic) > Logic, Symbolic and mathematical > Time > Temporale Logik > Zustandsraum > Transitionssystem > Verifikation > Reaktives System > Model Checking > Abstrakte Zustandsmaschine > Algorithmische Programmiersprache
Online Zugang:	Kapitel 1 Einführung/Vorwort Cover Inhaltsverzeichnis Inhaltstext Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!