SamaTulyata: An Efficient Path Based Equivalence Checking Tool (bibtex)
by , , ,
Reference:
SamaTulyata: An Efficient Path Based Equivalence Checking Tool (Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan Mandal), In Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Deepak D'Souza, K. Narayan Kumar, eds.), Springer, volume 10482, 2017.
Bibtex Entry:
@InProceedings{DBLP:confatvaBandyopadhyaySS17,
AUTHOR = {Bandyopadhyay, Soumyadip and Sarkar, Santonu and Sarkar, Dipankar and Mandal, Chittaranjan},
TITLE = {{SamaTulyata: An Efficient Path Based Equivalence Checking Tool}},
YEAR = {2017},
BOOKTITLE = {Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings},
VOLUME = {10482},
PAGES = {109--116},
EDITOR = {D'Souza, Deepak and Kumar, K. Narayan},
SERIES = {LNCS},
PUBLISHER = {Springer},
CROSSREF = {DBLP:conf/atva/2017},
URL = {https://doi.org/10.1007/978-3-319-68167-2_8}
}
Powered by bibtexbrowser