Automatic Abstraction in Symbolic Trajectory Evaluation
Sara Adams‚ Magnus Björk‚ Tom Melham and Carl−Johan Seger
Book Title
Formal Methods in Computer Aided Design: FMCAD 2007: November 11–14 2007‚ Austin‚ Texas‚ USA
Editor
Jason Baumgartner and Mary Sheeran
ISBN
978−0−7695−3023−9
Pages
127–135
Publisher
IEEE Computer Society
Year
2007