BibTeX record conf/smc/CanetCLPS00

• > Home > conf/smc/CanetCLPS00

@inproceedings{DBLP:conf/smc/CanetCLPS00,
  author       = {G{\'{e}}raud Canet and
                  Sandrine Couffin and
                  Jean{-}Jacques Lesage and
                  Antoine Petit and
                  Philippe Schnoebelen},
  title        = {Towards the automatic verification of {PLC} programs written in Instruction
                  List},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  {\&} Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations,
                  and their Complex Interactions", Sheraton Music City Hotel, Nashville,
                  Tennessee, USA, 8-11 October 2000},
  pages        = {2449--2454},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICSMC.2000.884359},
  doi          = {10.1109/ICSMC.2000.884359},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/CanetCLPS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}