BibTeX record journals/topnoc/KordonGHPJHABBEJBLMSTPW18

• > Home > journals/topnoc/KordonGHPJHABBEJBLMSTPW18

@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
  author       = {Fabrice Kordon and
                  Hubert Garavel and
                  Lom{-}Messan Hillah and
                  Emmanuel Paviot{-}Adet and
                  Lo{\"{\i}}g Jezequel and
                  Francis Hulin{-}Hubard and
                  Elvio Gilberto Amparore and
                  Marco Beccuti and
                  Bernard Berthomieu and
                  Hugues Evrard and
                  Peter Gj{\o}l Jensen and
                  Didier Le Botlan and
                  Torsten Liebke and
                  Jeroen Meijer and
                  Jir{\'{\i}} Srba and
                  Yann Thierry{-}Mieg and
                  Jaco van de Pol and
                  Karsten Wolf},
  title        = {MCC'2017 - The Seventh Model Checking Contest},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {13},
  pages        = {181--209},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-662-58381-4\_9},
  doi          = {10.1007/978-3-662-58381-4\_9},
  timestamp    = {Tue, 21 Mar 2023 21:14:32 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}