%0 Conference Paper %1 conf/iscas/BanerjeeDC03 %A Banerjee, Ansuman %A Dasgupta, Pallab %A Chakrabarti, Partha Pratim %B ISCAS (5) %D 2003 %I IEEE %K dblp %P 249-252 %T Open computation tree logic with fairness. %U http://dblp.uni-trier.de/db/conf/iscas/iscas2003-5.html#BanerjeeDC03 %@ 0-7803-7761-3

@inproceedings{conf/iscas/BanerjeeDC03, added-at = {2016-05-20T00:00:00.000+0200}, author = {Banerjee, Ansuman and Dasgupta, Pallab and Chakrabarti, Partha Pratim}, biburl = {https://www.bibsonomy.org/bibtex/2589c9633a83bc0b85365d3d398030f4e/dblp}, booktitle = {ISCAS (5)}, crossref = {conf/iscas/2003}, ee = {http://dx.doi.org/10.1109/ISCAS.2003.1206245}, interhash = {67ec77ccdc60ff9f292feeac754f09dd}, intrahash = {589c9633a83bc0b85365d3d398030f4e}, isbn = {0-7803-7761-3}, keywords = {dblp}, pages = {249-252}, publisher = {IEEE}, timestamp = {2016-05-21T11:45:42.000+0200}, title = {Open computation tree logic with fairness.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2003-5.html#BanerjeeDC03}, year = 2003 }