Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Info and Reading Options
By Michael Yoeli and Rakefet Kol
"Verification of systems and circuits using LOTOS, Petri Nets, and CCS" was published by Wiley-Interscience in 2008 - Hoboken, N.J and it has 1 pages.
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Metadata:
- Title: ➤ Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Authors: Michael YoeliRakefet Kol
- Number of Pages: 1
- Publisher: Wiley-Interscience
- Publish Date: 2008
- Publish Location: Hoboken, N.J
Edition Identifiers:
- ISBN-13: 9780470253410 - 9780470253397
- All ISBNs: 9780470253410 - 9780470253397
AI-generated Review of “Verification of systems and circuits using LOTOS, Petri Nets, and CCS”:
Read “Verification of systems and circuits using LOTOS, Petri Nets, and CCS”:
Read “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” by choosing from the options below.
Search for “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” in Libraries Near You:
Read or borrow “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” at a library near you.
Buy “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” online:
Shop for “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” on popular online marketplaces.
- Ebay: New and used books.