Sayan Mitra, Myla Archer. PVS Strategies for Proving Abstraction Properties of Automata. Electronic Notes in Theoretical Computer Science, 125(2):45-65, 2005. [doi]
@article{MitraA05,
title = {PVS Strategies for Proving Abstraction Properties of Automata},
author = {Sayan Mitra and Myla Archer},
year = {2005},
doi = {10.1016/j.entcs.2005.01.005},
url = {http://dx.doi.org/10.1016/j.entcs.2005.01.005},
tags = {abstraction},
researchr = {https://researchr.org/publication/MitraA05},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {2},
pages = {45-65},
}