Our Location
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
International Product
  1. Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach
Item 1 of 1
International Product
Item 1 of 1

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

Printed Book
SR 691
Inclusive of VAT
Sold as: EACH
SR41Per Month/24 months
Author:Penczek, Wojciech
Date of Publication: 2010
Book classification:Engineering,English Books,
No. of pages:292 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR691
Incl. VAT
  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery
Or

About this Product

Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.
Show more

Specifications

SKU9783642069420
Manufacturer Number9783642069420
year published2010
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.