BibTeX record conf/case/LennartsonBW15

download as .bib file

@inproceedings{DBLP:conf/case/LennartsonBW15,
  author    = {Bengt Lennartson and
               Kristofer Bengtsson and
               Oskar Wigstr{\"{o}}m},
  title     = {Optimization of hybrid Petri nets with shared variables},
  booktitle = {{CASE}},
  pages     = {1395--1396},
  publisher = {{IEEE}},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics