Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

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

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

Author

Wojciech Penczek; Agata Pólrola

Series

Studies in Computational Intelligence

Volume

20

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540328698, 9783540328704

ARI Id

1674219755577

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 10 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Real-time control Petri nets Real-time data processing