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.dagstuhl.de/rec/conf/isola/IftikharLW16.xml
M. Usman Iftikhar Jonas Lundberg Danny Weyns A Model Interpreter for Timed Automata. 243-258 2016 ISoLA (1) https://doi.org/10.1007/978-3-319-47166-2_17 conf/isola/2016-1 db/conf/isola/isola2016-1.html#IftikharLW16