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

Select an Action

Title:

Personal Author:

Series:

Studies in computational intelligence

Studies in computational intelligence ; 20

Publication Information:

Berlin : Springer, 2006

ISBN:

9783540328698

Subject Term:

Added Author:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010103717	QA267 P46 2006	Open Access Book	Book	Searching... Unknown