%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 dblp %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-09-30T00:00:00.000+0200}, author = {David, Alexandre and Larsen, Kim G. and Mikucionis, Marius and Nguena-Timo, Omer and Rollet, Antoine}, biburl = {https://www.bibsonomy.org/bibtex/209e003bc71b265f0ef491dc474340512/dblp}, 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 = {dblp}, pages = {65-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:45:26.000+0200}, title = {Remote Testing of Timed Specifications.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2013.html#DavidLMNR13}, volume = 8254, year = 2013 }