Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Advances in verification of time petri nets and timed automataAdvances in verification of time petri nets and timed automata

Advances in verification of time petri nets and timed automata

Agata Pólrola, Wojciech Penczek

Details

OL Work ID
OL18351558W

Subjects

Real-time controlPetri netsReal-time data processing

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.