Inproceedings,
Averaging in LTL.
P. Bouyer, N. Markey, and R. Matteplackel.CONCUR, volume 8704 of Lecture Notes in Computer Science, page 266-280. Springer, (2014)
Meta data
- BibTeX key
- conf/concur/BouyerMM14
- entry type
- inproceedings
- booktitle
- CONCUR
- year
- 2014
- pages
- 266-280
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 8704
- crossref
- conf/concur/2014
- ee
- https://doi.org/10.1007/978-3-662-44584-6_19
- isbn
- 978-3-662-44583-9
- url
- http://dblp.uni-trier.de/db/conf/concur/concur2014.html#BouyerMM14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/concur/BouyerMM14
%A Bouyer, Patricia
%A Markey, Nicolas
%A Matteplackel, Raj Mohan
%B CONCUR
%D 2014
%E Baldan, Paolo
%E Gorla, Daniele
%I Springer
%K dblp
%P 266-280
%T Averaging in LTL.
%U http://dblp.uni-trier.de/db/conf/concur/concur2014.html#BouyerMM14
%V 8704
%@ 978-3-662-44583-9
@inproceedings{conf/concur/BouyerMM14,
added-at = {2018-11-02T00:00:00.000+0100},
author = {Bouyer, Patricia and Markey, Nicolas and Matteplackel, Raj Mohan},
biburl = {https://www.bibsonomy.org/bibtex/263ea6bcbebb17f10d86478b142e20e6a/dblp},
booktitle = {CONCUR},
crossref = {conf/concur/2014},
editor = {Baldan, Paolo and Gorla, Daniele},
ee = {https://doi.org/10.1007/978-3-662-44584-6_19},
interhash = {aa535d2a5940f7751fe510a68fb9bdfc},
intrahash = {63ea6bcbebb17f10d86478b142e20e6a},
isbn = {978-3-662-44583-9},
keywords = {dblp},
pages = {266-280},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:57:38.000+0200},
title = {Averaging in LTL.},
url = {http://dblp.uni-trier.de/db/conf/concur/concur2014.html#BouyerMM14},
volume = 8704,
year = 2014
}