View source for Publications/jacobs.17.synt

{{Publication
| published = true
| date = 2017-01-01
| authors = Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange,  FaymonvillePeter, Bernd Finkbeiner, Ayrat Khalimov,  KleinFelix, Thibaud Michaud, Guillermo A Pérez, Jean-François Raskin, Ocan Sankur,  TentrupLeander
| title = The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
| booktitle = Proceedings Sixth Workshop on Synthesis
| address = Heidelberg, Germany
| editors = Dana Fisman, Swen Jacobs
| volume = 260
| series = Electronic Proceedings in Theoretical Computer Science
| pages = 116 to 143
| publisher = Open Publishing Association
| lrdeproject = Spot
| lrdenewdate = 2018-01-10
| type = inproceedings
| id = jacobs.17.synt
| identifier = doi:10.4204/EPTCS.260.10
| bibtex = 
@InProceedings<nowiki>{</nowiki>	  jacobs.17.synt,
  author	= <nowiki>{</nowiki>Jacobs, Swen and Basset, Nicolas and Bloem, Roderick and
		  Brenguier, Romain and Colange, Maximilien and Faymonville,
		  Peter and Finkbeiner, Bernd and Khalimov, Ayrat and Klein,
		  Felix and Michaud, Thibaud and P\'erez, Guillermo A. and
		  Raskin, Jean-Fran\c<nowiki>{</nowiki>c<nowiki>}</nowiki>ois and Sankur, Ocan and Tentrup,
		  Leander<nowiki>}</nowiki>,
  title		= <nowiki>{</nowiki>The 4th Reactive Synthesis Competition (SYNTCOMP 2017):
		  Benchmarks, Participants \& Results<nowiki>}</nowiki>,
  booktitle	= <nowiki>{</nowiki>Proceedings Sixth Workshop on Synthesis<nowiki>}</nowiki>,
  address	= <nowiki>{</nowiki>Heidelberg, Germany<nowiki>}</nowiki>,
  year		= <nowiki>{</nowiki>2017<nowiki>}</nowiki>,
  editor	= <nowiki>{</nowiki>Fisman, Dana and Jacobs, Swen<nowiki>}</nowiki>,
  volume	= <nowiki>{</nowiki>260<nowiki>}</nowiki>,
  series	= <nowiki>{</nowiki>Electronic Proceedings in Theoretical Computer Science<nowiki>}</nowiki>,
  pages		= <nowiki>{</nowiki>116-143<nowiki>}</nowiki>,
  publisher	= <nowiki>{</nowiki>Open Publishing Association<nowiki>}</nowiki>,
  doi		= <nowiki>{</nowiki>10.4204/EPTCS.260.10<nowiki>}</nowiki>,
  lrdeproject	= <nowiki>{</nowiki>Spot<nowiki>}</nowiki>,
  lrdenewdate	= <nowiki>{</nowiki>2018-01-10<nowiki>}</nowiki>
<nowiki>}</nowiki>

}}