MPG.eBooks - Search Results - "Studies in Computational Intelligence"

Cover Image

1

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

by Penczek, Wojciech, Pólrola, Agata
Published 2006

Springer Berlin Heidelberg

“...Studies in Computational Intelligence...”