1
Published 2014
Table of Contents: ...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...
View full text
Electronic eBook