Difference between revisions of "Publications/jacobs.17.synt"
From LRDE
(Created page with "{{Publication | published = true | date = 2017-01-01 | authors = Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, FaymonvillePeter, Bernd Fi...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
| published = true |
| published = true |
||
| − | | date = 2017- |
+ | | date = 2017-07-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 |
| 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 |
| title = The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results |
||
| Line 11: | Line 11: | ||
| pages = 116 to 143 |
| pages = 116 to 143 |
||
| publisher = Open Publishing Association |
| publisher = Open Publishing Association |
||
| + | | lrdepaper = http://www.lrde.epita.fr/dload/papers/jacobs.17.synt.pdf |
||
| lrdeproject = Spot |
| lrdeproject = Spot |
||
| lrdenewdate = 2018-01-10 |
| lrdenewdate = 2018-01-10 |
||
| Line 29: | Line 30: | ||
address = <nowiki>{</nowiki>Heidelberg, Germany<nowiki>}</nowiki>, |
address = <nowiki>{</nowiki>Heidelberg, Germany<nowiki>}</nowiki>, |
||
year = <nowiki>{</nowiki>2017<nowiki>}</nowiki>, |
year = <nowiki>{</nowiki>2017<nowiki>}</nowiki>, |
||
| + | month = jul, |
||
editor = <nowiki>{</nowiki>Fisman, Dana and Jacobs, Swen<nowiki>}</nowiki>, |
editor = <nowiki>{</nowiki>Fisman, Dana and Jacobs, Swen<nowiki>}</nowiki>, |
||
volume = <nowiki>{</nowiki>260<nowiki>}</nowiki>, |
volume = <nowiki>{</nowiki>260<nowiki>}</nowiki>, |
||
Latest revision as of 15:17, 29 October 2018
- 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
- Where
- Proceedings Sixth Workshop on Synthesis
- Place
- Heidelberg, Germany
- Type
- inproceedings
- Publisher
- Open Publishing Association
- Date
- 2017-07-01
Documents
Bibtex (lrde.bib)
@InProceedings{ jacobs.17.synt,
author = {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{c}ois and Sankur, Ocan and Tentrup,
Leander},
title = {The 4th Reactive Synthesis Competition (SYNTCOMP 2017):
Benchmarks, Participants \& Results},
booktitle = {Proceedings Sixth Workshop on Synthesis},
address = {Heidelberg, Germany},
year = {2017},
month = jul,
editor = {Fisman, Dana and Jacobs, Swen},
volume = {260},
series = {Electronic Proceedings in Theoretical Computer Science},
pages = {116-143},
publisher = {Open Publishing Association},
doi = {10.4204/EPTCS.260.10},
lrdeproject = {Spot},
lrdenewdate = {2018-01-10}
}