Inproceedings,
Proof-Carrying Plans.
C. Schwaab, E. Komendantskaya, A. Hill, F. Farka, R. Petrick, J. Wells, and K. Hammond.PADL, volume 11372 of Lecture Notes in Computer Science, page 204-220. Springer, (2019)
Meta data
- BibTeX key
- conf/padl/SchwaabKHFPWH19
- entry type
- inproceedings
- booktitle
- PADL
- year
- 2019
- pages
- 204-220
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 11372
- crossref
- conf/padl/2019
- ee
- https://doi.org/10.1007/978-3-030-05998-9_13
- isbn
- 978-3-030-05998-9
- url
- http://dblp.uni-trier.de/db/conf/padl/padl2019.html#SchwaabKHFPWH19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/padl/SchwaabKHFPWH19
%A Schwaab, Christopher
%A Komendantskaya, Ekaterina
%A Hill, Alasdair
%A Farka, Frantisek
%A Petrick, Ronald P. A.
%A Wells, Joe B.
%A Hammond, Kevin
%B PADL
%D 2019
%E Alferes, José Júlio
%E Johansson, Moa
%I Springer
%K dblp
%P 204-220
%T Proof-Carrying Plans.
%U http://dblp.uni-trier.de/db/conf/padl/padl2019.html#SchwaabKHFPWH19
%V 11372
%@ 978-3-030-05998-9
@inproceedings{conf/padl/SchwaabKHFPWH19,
added-at = {2019-10-19T00:00:00.000+0200},
author = {Schwaab, Christopher and Komendantskaya, Ekaterina and Hill, Alasdair and Farka, Frantisek and Petrick, Ronald P. A. and Wells, Joe B. and Hammond, Kevin},
biburl = {https://www.bibsonomy.org/bibtex/2a7d1ad9a5a2fd1d77a6fade62d7a067f/dblp},
booktitle = {PADL},
crossref = {conf/padl/2019},
editor = {Alferes, José Júlio and Johansson, Moa},
ee = {https://doi.org/10.1007/978-3-030-05998-9_13},
interhash = {f24148d3ab34a240d192153e56102701},
intrahash = {a7d1ad9a5a2fd1d77a6fade62d7a067f},
isbn = {978-3-030-05998-9},
keywords = {dblp},
pages = {204-220},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-10-22T14:43:54.000+0200},
title = {Proof-Carrying Plans.},
url = {http://dblp.uni-trier.de/db/conf/padl/padl2019.html#SchwaabKHFPWH19},
volume = 11372,
year = 2019
}