%0 Conference Paper %1 conf/pts/BenharratGHLG17 %A Benharrat, Nassim %A Gaston, Christophe %A Hierons, Robert M. %A Lapitre, Arnault %A Gall, Pascale Le %B ICTSS %D 2017 %E Yevtushenko, Nina %E Cavalli, Ana Rosa %E Yenigün, Hüsnü %I Springer %K dblp %P 276-292 %T Constraint-Based Oracles for Timed Distributed Systems. %U http://dblp.uni-trier.de/db/conf/pts/ictss2017.html#BenharratGHLG17 %V 10533 %@ 978-3-319-67549-7

@inproceedings{conf/pts/BenharratGHLG17, added-at = {2022-01-03T00:00:00.000+0100}, author = {Benharrat, Nassim and Gaston, Christophe and Hierons, Robert M. and Lapitre, Arnault and Gall, Pascale Le}, biburl = {https://www.bibsonomy.org/bibtex/2bbd77ce183ea48628375f97a8697f693/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2017}, editor = {Yevtushenko, Nina and Cavalli, Ana Rosa and Yenigün, Hüsnü}, ee = {https://doi.org/10.1007/978-3-319-67549-7_17}, interhash = {b0479a42e3e6532c21d03f61a3ee31aa}, intrahash = {bbd77ce183ea48628375f97a8697f693}, isbn = {978-3-319-67549-7}, keywords = {dblp}, pages = {276-292}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:04:13.000+0200}, title = {Constraint-Based Oracles for Timed Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2017.html#BenharratGHLG17}, volume = 10533, year = 2017 }