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

Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)

Series

Studies in Computational Intelligence 20

Year of Publication

2006

Publisher

Springer-Verlag Berlin Heidelberg

Language

en

ISBN

9783540328698, 9783540328704

ARI Id

1672549519275

Find on

World Cat

OpenLibrary

Internet Archive

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