BibTeX record journals/corr/KordonLBBFHHLLMPPRRTWW13

download as .bib file

@article{DBLP:journals/corr/KordonLBBFHHLLMPPRRTWW13,
  author    = {Fabrice Kordon and
               Alban Linard and
               Marco Beccuti and
               Didier Buchs and
               Lukasz Fronc and
               Lom{-}Messan Hillah and
               Francis Hulin{-}Hubard and
               Fabrice Legond{-}Aubry and
               Niels Lohmann and
               Alexis Marechal and
               Emmanuel Paviot{-}Adet and
               Franck Pommereau and
               C{\'{e}}sar Rodr{\'{\i}}guez and
               Christian Rohr and
               Yann Thierry{-}Mieg and
               Harro Wimmel and
               Karsten Wolf},
  title     = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
  journal   = {CoRR},
  volume    = {abs/1309.2485},
  year      = {2013},
  url       = {http://arxiv.org/abs/1309.2485},
  eprinttype = {arXiv},
  eprint    = {1309.2485},
  timestamp = {Mon, 13 Aug 2018 16:49:07 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.