iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/isola/ChenCFHTTWZ10.rdf
Yu-Fang Chen et al.: Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. (2010) conf/isola/ChenCFHTTWZ10 10.1007/978-3-642-16558-0_52 Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. 8 Yu-Fang Chen 0001 1 Edmund M. Clarke 2 Azadeh Farzan 3 Fei He 0001 4 Ming-Hsien Tsai 0001 5 Yih-Kuen Tsay 6 Bow-Yaw Wang 7 Lei Zhu 8 643-657 ISoLA (1) ISoLA (1) 2010 2010 provenance information for RDF data of dblp record 'conf/isola/ChenCFHTTWZ10' 2022-12-20T08:08:39+0100