%0 Conference Paper %1 conf/cav/ChenCFTTW10 %A Chen, Yu-Fang %A Clarke, Edmund M. %A Farzan, Azadeh %A Tsai, Ming-Hsien %A Tsay, Yih-Kuen %A Wang, Bow-Yaw %B CAV %D 2010 %E Touili, Tayssir %E Cook, Byron %E Jackson, Paul B. %I Springer %K dblp %P 511-526 %T Automated Assume-Guarantee Reasoning through Implicit Learning. %U http://dblp.uni-trier.de/db/conf/cav/cav2010.html#ChenCFTTW10 %V 6174 %@ 978-3-642-14294-9

@inproceedings{conf/cav/ChenCFTTW10, added-at = {2022-12-20T00:00:00.000+0100}, author = {Chen, Yu-Fang and Clarke, Edmund M. and Farzan, Azadeh and Tsai, Ming-Hsien and Tsay, Yih-Kuen and Wang, Bow-Yaw}, biburl = {https://www.bibsonomy.org/bibtex/221396ad8b2c2054916388ccfa92f31a0/dblp}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.}, ee = {https://doi.org/10.1007/978-3-642-14295-6_44}, interhash = {6071cd39602b449236e6c1f551cdd387}, intrahash = {21396ad8b2c2054916388ccfa92f31a0}, isbn = {978-3-642-14294-9}, keywords = {dblp}, pages = {511-526}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:35:11.000+0200}, title = {Automated Assume-Guarantee Reasoning through Implicit Learning.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#ChenCFTTW10}, volume = 6174, year = 2010 }