@inproceedings{DBLP:conf/iros/CowleyT11a,
  author    = {Anthony Cowley and
               Camillo J. Taylor},
  title     = {Towards language-based verification of robot behaviors},
  booktitle = {IROS},
  year      = {2011},
  pages     = {4776-4782},
  ee        = {http://dx.doi.org/10.1109/IROS.2011.6095028},
  crossref  = {DBLP:conf/iros/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iros/2011,
  title     = {2011 IEEE/RSJ International Conference on Intelligent Robots
               and Systems, IROS 2011, San Francisco, CA, USA, September
               25-30, 2011},
  booktitle = {IROS},
  publisher = {IEEE},
  year      = {2011},
  isbn      = {978-1-61284-454-1},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6034548},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}