%0 Conference Paper %1 conf/ats/DuttaCBD15 %A Dutta, Saikat %A Chattopadhyay, Soumi %A Banerjee, Ansuman %A Dasgupta, Pallab %B ATS %D 2015 %I IEEE Computer Society %K dblp %P 205-210 %T A New Approach for Minimal Environment Construction for Modular Property Verification. %U http://dblp.uni-trier.de/db/conf/ats/ats2015.html#DuttaCBD15 %@ 978-1-4673-9739-1

@inproceedings{conf/ats/DuttaCBD15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Dutta, Saikat and Chattopadhyay, Soumi and Banerjee, Ansuman and Dasgupta, Pallab}, biburl = {https://www.bibsonomy.org/bibtex/28a2f67235b160e4704fb8c6f051d876f/dblp}, booktitle = {ATS}, crossref = {conf/ats/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/ATS.2015.42}, interhash = {ce34c0dd6327d5fc3713b39e87ef63f3}, intrahash = {8a2f67235b160e4704fb8c6f051d876f}, isbn = {978-1-4673-9739-1}, keywords = {dblp}, pages = {205-210}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:36:42.000+0200}, title = {A New Approach for Minimal Environment Construction for Modular Property Verification.}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2015.html#DuttaCBD15}, year = 2015 }