Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

Select an Action

Title:

Author:

Penczek, Wojciech. author.

ISBN:

9783540328704

Personal Author:

Edition:

1st ed. 2006.

Physical Description:

XXXII, 257 p. online resource.

Series:

Studies in Computational Intelligence, 20

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Library	Material Type	Item Barcode	Shelf Number	Status
Searching... Ferit Melen Library	E-Book	175308-1001	T1 -995	Searching... Unknown