%0 Conference Paper %1 conf/spin/HenryJM18 %A Henry, Léo %A Jéron, Thierry %A Markey, Nicolas %B SPIN %D 2018 %E del Mar Gallardo, María %E Merino, Pedro %I Springer %K dblp %P 171-189 %T Control Strategies for Off-Line Testing of Timed Systems. %U http://dblp.uni-trier.de/db/conf/spin/spin2018.html#HenryJM18 %V 10869 %@ 978-3-319-94111-0

@inproceedings{conf/spin/HenryJM18, added-at = {2019-10-19T00:00:00.000+0200}, author = {Henry, Léo and Jéron, Thierry and Markey, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/223848a7c93e0c59118b4b24d79ef6c06/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2018}, editor = {del Mar Gallardo, María and Merino, Pedro}, ee = {https://doi.org/10.1007/978-3-319-94111-0_10}, interhash = {a3919976ded927b93a969e294a689c56}, intrahash = {23848a7c93e0c59118b4b24d79ef6c06}, isbn = {978-3-319-94111-0}, keywords = {dblp}, pages = {171-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:50:59.000+0200}, title = {Control Strategies for Off-Line Testing of Timed Systems.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2018.html#HenryJM18}, volume = 10869, year = 2018 }