Cover Image
Read Now

1
by Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto L.
Published 1993
Springer US
Table of Contents: “... Definitions and Notation -- 7.2 A Procedure Guaranteed to Generate an HFRPDFT Circuit -- 7.3 Heuristic...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Piecewise-Linear Hybrid Systems on Simplices and Rectangles -- Assume-Guarantee Reasoning for Hierarchical...”