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/isqed/BaoBWSK14.xml
Binghao Bao Jörg Bormann Markus Wedler Dominik Stoffel Wolfgang Kunz Coverage of compositional property sets under reactive constraints. 589-596 2014 ISQED https://doi.org/10.1109/ISQED.2014.6783380 conf/isqed/2014 db/conf/isqed/isqed2014.html#BaoBWSK14