Buy Used and New Agata Pólrola Books

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence): 20

by Wojciech Penczek,Agata Pólrola

ISBN 13: 9783540328698

Format: Hardcover (292 pages)
Publisher: Springer
Published: 26 Jun 2006

Save for later

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach: 20 (Studies in Computational Intelligence)

by Wojciech Penczek,Agata Pólrola

ISBN 13: 9783642069420

Format: Paperback (292 pages)
Publisher: Springer
Published: 25 Nov 2010

Save for later