Normal view MARC view ISBD view

Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach / by Wojciech Penczek, Agata Pólrola.

By:

Contributor(s):

Material type:

Subject(s):

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Date due	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	QA267 P46 2006 (Browse shelf(Opens below))	Link to resource	1	Available	Springerlink		BDIG00007223

Previous								Next
Previous	QA267 M53 2005 Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /	QA267 O24 2008 Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /	QA267 P44 2006 Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /	QA267 P46 2006 Advances in Verification of Time Petri Nets and Timed Automata	QA267 V67 2008 Rewriting Techniques and Applications	QA267.3 C35 2005 Developments in Language Theory	QA267.3 C67 2006 Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings /	Next

There are no comments on this title.

to post a comment.