Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
by Michael Yoeli, Rakefet Kol Hardcover 2008
- Author: Michael Yoeli, Rakefet Kol
- ISBN 13: 9780471704492
- ISBN 10: 0471704490
- Publication Year: 2008
- Language: English
Specifications
| Index-10 | 0471704490 |
|---|---|
| Index-13 | 9780471704492 |
| Language | English |