The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
TOOLympics 2019: An Overview of Competitions in Formal Methods
The work
| Authors | Ezio Bartocci; Dirk Beyer; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda; Geoff Sutcliffe; Tjark Weber; Akihisa Yamada |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2019 |
| Citekey | bartocci2019toolympics |
Where it appeared
| Published in | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Publisher | Springer International Publishing |
| Series | Lecture Notes in Computer Science |
| Pages | 3--24 |
Identifiers
| DOI | 10.1007/978-3-030-17502-3_1 |
|---|---|
| ISSN | 0302-9743 |
| ISBN | 978-3-030-17501-6 |
Access
| Landing page | https://doi.org/10.1007/978-3-030-17502-3_1 |
|---|
Cite it as
@incollection{bartocci2019toolympics,
title = {TOOLympics 2019: An Overview of Competitions in Formal Methods},
author = {Ezio Bartocci and Dirk Beyer and Paul E. Black and Grigory Fedyukovich and Hubert Garavel and Arnd Hartmanns and Marieke Huisman and Fabrice Kordon and Julian Nagele and Mihaela Sighireanu and Bernhard Steffen and Martin Suda and Geoff Sutcliffe and Tjark Weber and Akihisa Yamada},
year = {2019},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
publisher = {Springer International Publishing},
series = {Lecture Notes in Computer Science},
pages = {3--24},
isbn = {978-3-030-17501-6},
issn = {0302-9743},
doi = {10.1007/978-3-030-17502-3_1},
}
This record lives at https://refs.drheap.org/bartocci2019toolympics/ and will keep doing so.