BibTeX record conf/wodes/MohajeraniMF12

download as .bib file

@inproceedings{DBLP:conf/wodes/MohajeraniMF12,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  editor       = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
                  Ernesto L{\'{o}}pez{-}Mellado and
                  Jean{-}Jacques Lesage and
                  Manuel Silva Su{\'{a}}rez},
  title        = {An algorithm for weak synthesis observation equivalence for compositional
                  supervisor synthesis},
  booktitle    = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
                  Guadalajara, Mexico, October 3-5, 2012},
  pages        = {239--244},
  publisher    = {International Federation of Automatic Control},
  year         = {2012},
  url          = {https://doi.org/10.3182/20121003-3-MX-4033.00040},
  doi          = {10.3182/20121003-3-MX-4033.00040},
  timestamp    = {Sun, 21 May 2017 00:18:24 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/MohajeraniMF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics