%0 Conference Paper %1 conf/cav/ChakiCST05 %A Chaki, Sagar %A Clarke, Edmund M. %A Sinha, Nishant %A Thati, Prasanna %B CAV %D 2005 %E Etessami, Kousha %E Rajamani, Sriram K. %I Springer %K dblp %P 534-547 %T Automated Assume-Guarantee Reasoning for Simulation Conformance. %U http://dblp.uni-trier.de/db/conf/cav/cav2005.html#ChakiCST05 %V 3576 %@ 3-540-27231-3

@inproceedings{conf/cav/ChakiCST05, added-at = {2018-10-03T00:00:00.000+0200}, author = {Chaki, Sagar and Clarke, Edmund M. and Sinha, Nishant and Thati, Prasanna}, biburl = {https://www.bibsonomy.org/bibtex/2b1fb957be3a4d282f57bff011c06c74a/dblp}, booktitle = {CAV}, crossref = {conf/cav/2005}, editor = {Etessami, Kousha and Rajamani, Sriram K.}, ee = {https://doi.org/10.1007/11513988_51}, interhash = {bb9e68a36c4f96748f23200ea772679d}, intrahash = {b1fb957be3a4d282f57bff011c06c74a}, isbn = {3-540-27231-3}, keywords = {dblp}, pages = {534-547}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:41.000+0200}, title = {Automated Assume-Guarantee Reasoning for Simulation Conformance.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2005.html#ChakiCST05}, volume = 3576, year = 2005 }