Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. Coverage of compositional property sets under reactive constraints. In Fifteenth International Symposium on Quality Electronic Design, ISQED 2014, Santa Clara, CA, USA, March 3-5, 2014. pages 589-596, IEEE, 2014. [doi]
Abstract is missing.