Inproceedings,
Remote Testing of Timed Specifications.
A. David, K. Larsen, M. Mikucionis, O. Nguena-Timo, and A. Rollet.ICTSS, volume 8254 of Lecture Notes in Computer Science, page 65-81. Springer, (2013)
Meta data
- BibTeX key
- conf/pts/DavidLMNR13
- entry type
- inproceedings
- booktitle
- ICTSS
- year
- 2013
- pages
- 65-81
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 8254
- crossref
- conf/pts/2013
- ee
- https://doi.org/10.1007/978-3-642-41707-8_5
- isbn
- 978-3-642-41706-1
- url
- http://dblp.uni-trier.de/db/conf/pts/ictss2013.html#DavidLMNR13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pts/DavidLMNR13
%A David, Alexandre
%A Larsen, Kim G.
%A Mikucionis, Marius
%A Nguena-Timo, Omer
%A Rollet, Antoine
%B ICTSS
%D 2013
%E Yenigün, Hüsnü
%E Yilmaz, Cemal
%E Ulrich, Andreas
%I Springer
%K
%P 65-81
%T Remote Testing of Timed Specifications.
%U http://dblp.uni-trier.de/db/conf/pts/ictss2013.html#DavidLMNR13
%V 8254
%@ 978-3-642-41706-1
@inproceedings{conf/pts/DavidLMNR13,
added-at = {2023-12-13T03:13:49.000+0100},
author = {David, Alexandre and Larsen, Kim G. and Mikucionis, Marius and Nguena-Timo, Omer and Rollet, Antoine},
biburl = {https://www.bibsonomy.org/bibtex/209e003bc71b265f0ef491dc474340512/admin},
booktitle = {ICTSS},
crossref = {conf/pts/2013},
editor = {Yenigün, Hüsnü and Yilmaz, Cemal and Ulrich, Andreas},
ee = {https://doi.org/10.1007/978-3-642-41707-8_5},
interhash = {88e94ea88da9ecf3e56eb0d24f2298ee},
intrahash = {09e003bc71b265f0ef491dc474340512},
isbn = {978-3-642-41706-1},
keywords = {},
pages = {65-81},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T03:13:49.000+0100},
title = {Remote Testing of Timed Specifications.},
url = {http://dblp.uni-trier.de/db/conf/pts/ictss2013.html#DavidLMNR13},
volume = 8254,
year = 2013
}