Inproceedings,
Runtime Verification at Work: A Tutorial.
P. Daian, D. Guth, C. Hathhorn, Y. Li, E. Pek, M. Saxena, T. Serbanuta, and G. Rosu.RV, volume 10012 of Lecture Notes in Computer Science, page 46-67. Springer, (2016)
Meta data
- BibTeX key
- conf/rv/DaianGHLPSSR16
- entry type
- inproceedings
- booktitle
- RV
- year
- 2016
- pages
- 46-67
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 10012
- crossref
- conf/rv/2016
- ee
- https://doi.org/10.1007/978-3-319-46982-9_5
- isbn
- 978-3-319-46981-2
- url
- http://dblp.uni-trier.de/db/conf/rv/rv2016.html#DaianGHLPSSR16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/rv/DaianGHLPSSR16
%A Daian, Philip
%A Guth, Dwight
%A Hathhorn, Chris
%A Li, Yilong
%A Pek, Edgar
%A Saxena, Manasvi
%A Serbanuta, Traian-Florin
%A Rosu, Grigore
%B RV
%D 2016
%E Falcone, Yliès
%E Sánchez, César
%I Springer
%K dblp
%P 46-67
%T Runtime Verification at Work: A Tutorial.
%U http://dblp.uni-trier.de/db/conf/rv/rv2016.html#DaianGHLPSSR16
%V 10012
%@ 978-3-319-46981-2
@inproceedings{conf/rv/DaianGHLPSSR16,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Daian, Philip and Guth, Dwight and Hathhorn, Chris and Li, Yilong and Pek, Edgar and Saxena, Manasvi and Serbanuta, Traian-Florin and Rosu, Grigore},
biburl = {https://www.bibsonomy.org/bibtex/22933ece63579c402c1a1030937c8e898/dblp},
booktitle = {RV},
crossref = {conf/rv/2016},
editor = {Falcone, Yliès and Sánchez, César},
ee = {https://doi.org/10.1007/978-3-319-46982-9_5},
interhash = {1c998456eba54cb18f9e0a2fcdacb62f},
intrahash = {2933ece63579c402c1a1030937c8e898},
isbn = {978-3-319-46981-2},
keywords = {dblp},
pages = {46-67},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T16:55:50.000+0200},
title = {Runtime Verification at Work: A Tutorial.},
url = {http://dblp.uni-trier.de/db/conf/rv/rv2016.html#DaianGHLPSSR16},
volume = 10012,
year = 2016
}