Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Average Rating

Author

Yoeli, Michael

Publisher

Wiley-Interscience

Publication Date

©2008

Language

English

ONLINE
 Show Edition

Available Online

Access Online

Add a ReviewAdd to List

SHARE