Symbolic Trajectory Evaluation
Tom Melham
Book Title
Handbook of Model Checking
Chapter
25
Editor
Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem
ISBN
978−3−319−10574−1
Pages
831–870
Publisher
Springer International Publishing
Year
2018