Chapter 12
Incremental formal verification of hardware Hana Chockler Alexander Ivrii Arie Matsliah Shiri Moran Ziv Nevo IBM Research - Haifa.
Chapter 12: Inventory Control Models © 2007 Pearson Education.
Inventory mgt. PPT.ppt
Incremental formal verification of hardware
