Use the controls in the window below to browse, scroll, or search inside this book.
E-book
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
ISBN: 978-0-470-25339-7
E-book
248 pages
This product is not currently available for purchase from this website.
For customer care, special sales, or to find your rep, please visit our Contact Us page.
For customer care, special sales, or to find your rep, please visit our Contact Us page.