BibTeX record conf/tacas/AmparoreBCDGHHJ19

download as .bib file

  author    = {Elvio Gilberto Amparore and
               Bernard Berthomieu and
               Gianfranco Ciardo and
               Silvano Dal{-}Zilio and
               Francesco Gall{\`{a}} and
               Lom{-}Messan Hillah and
               Francis Hulin{-}Hubard and
               Peter Gj{\o}l Jensen and
               Lo{\"{\i}}g Jezequel and
               Fabrice Kordon and
               Didier Le Botlan and
               Torsten Liebke and
               Jeroen Meijer and
               Andrew S. Miner and
               Emmanuel Paviot{-}Adet and
               Jir{\'{\i}} Srba and
               Yann Thierry{-}Mieg and
               Tom van Dijk and
               Karsten Wolf},
  editor    = {Dirk Beyer and
               Marieke Huisman and
               Fabrice Kordon and
               Bernhard Steffen},
  title     = {Presentation of the 9th Edition of the Model Checking Contest},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
               Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11429},
  pages     = {50--68},
  publisher = {Springer},
  year      = {2019},
  url       = {\_4},
  doi       = {10.1007/978-3-030-17502-3\_4},
  timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics