DBLP BibTeX Record 'conf/case/AllenGT09'

@inproceedings{DBLP:conf/case/AllenGT09,
  author    = {Lindsay V. Allen and
               Kiah Mok Goh and
               Dawn M. Tilbury},
  title     = {Closed-loop determinism for non-deterministic environments:
               Verification for IEC 61499 logic controllers},
  booktitle = {CASE},
  year      = {2009},
  pages     = {1-6},
  ee        = {http://dx.doi.org/10.1109/COASE.2009.5234184},
  crossref  = {DBLP:conf/case/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/case/2009,
  title     = {IEEE Conference on Automation Science and Engineering, CASE
               2009, Bangalore, India, 22-25 August, 2011},
  booktitle = {CASE},
  publisher = {IEEE},
  year      = {2009},
  isbn      = {978-1-4244-4578-3},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5227795},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}