Temporal logic and state systems /

Bibliographic Details

Main Author:	Kröger, Fred, 1945-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Merz, Stephan
Format:	eBook
Language:	English
Published:	Berlin : Springer, [2008]
Series:	Texts in theoretical computer science ; ISSN 1862-4499. Texts in theoretical computer science.
Subjects:	Logic, Symbolic and mathematical. Tense (Logic) Time. Electronic books.
Online Access:	Connect to the full text of this electronic book