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/journals/corr/abs-2006-16688.rdf
Roderick Bloem et al.: It's Time to Play Safe: Shield Synthesis for Timed Systems. (2020) journals/corr/abs-2006-16688 2006.16688 It's Time to Play Safe: Shield Synthesis for Timed Systems. 6 Roderick Bloem 1 Peter Gjøl Jensen 2 Bettina Könighofer 3 Kim Guldstrand Larsen 4 Florian Lorber 5 Alexander Palmisano 6 CoRR CoRR abs/2006.16688 2020 provenance information for RDF data of dblp record 'journals/corr/abs-2006-16688' 2020-07-02T14:42:48+0200