Automatic Abstraction in Symbolic Trajectory Evaluation

Automatic Abstraction in Symbolic Trajectory Evaluation

Show other versions (2)
Bibliographic Details
Main Authors: Adams, S, Björk, M, Melham, T, Seger, C
Format: Conference item
Published: IEEE 2007
Description
Summary:

Similar Items