Automatic Abstraction in Symbolic Trajectory Evaluation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger. Automatic Abstraction in Symbolic Trajectory Evaluation. In Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings. pages 127-135, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Sara Adams' in GoogleThis author has not been identified. Look up 'Magnus Björk' in GoogleThis author has not been identified. Look up 'Thomas F. Melham' in GoogleThis author has not been identified. Look up 'Carl-Johan H. Seger' in Google

runs on WebDSL