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

Description
Item Description:	Electronic resource.
Physical Description:	xxxii, 257 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and indexes.
ISBN:	354032870X 9783540328704
ISSN:	1860-949X ;
DOI:	10.1007/978-3-540-32870-4