[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Automatic Abstraction in Symbolic Trajectory Evaluation
Adams, Sara, Bjork, Magnus, Melham, Tom, Seger, Carl-JohanYear:
2007
Language:
english
DOI:
10.1109/fmcad.2007.4401991
File:
PDF, 215 KB
english, 2007