Advances in verification of time petri nets and timed automata : a temporal logic approach /

Bibliographic Details

Main Author:	Penczek, Wojciech
Corporate Author:	SpringerLink (Online service)
Other Authors:	Półrola, Agata
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2006.
Series:	Studies in computational intelligence. v. 20.
Subjects:	Petri nets. Real-time control. Real-time data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book