iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/rv/JaksicBGN16.xml
Stefan Jaksic Ezio Bartocci Radu Grosu Dejan Nickovic Quantitative Monitoring of STL with Edit Distance. 201-218 2016 RV https://doi.org/10.1007/978-3-319-46982-9_13 conf/rv/2016 db/conf/rv/rv2016.html#JaksicBGN16