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]
@inproceedings{AdamsBMS07,
title = {Automatic Abstraction in Symbolic Trajectory Evaluation},
author = {Sara Adams and Magnus Björk and Thomas F. Melham and Carl-Johan H. Seger},
year = {2007},
doi = {10.1109/FMCAD.2007.10},
url = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.10},
tags = {abstraction},
researchr = {https://researchr.org/publication/AdamsBMS07},
cites = {0},
citedby = {0},
pages = {127-135},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
publisher = {IEEE Computer Society},
}