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/spin/TranA19.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/spin/TranA19 AU - Tran, Nhat-Hoa AU - Aoki, Toshiaki TI - Conformance Testing of Schedulers for DSL-based Model Checking. BT - Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings SP - 208 EP - 225 PY - 2019// DO - 10.1007/978-3-030-30923-7_12 UR - https://doi.org/10.1007/978-3-030-30923-7_12 ER -