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/apsec/TranCA17.rdf
Nhat-Hoa Tran et al.: Domain-Specific Language Facilitates Scheduling in Model Checking. (2017) conf/apsec/TranCA17 10.1109/APSEC.2017.48 Domain-Specific Language Facilitates Scheduling in Model Checking. 3 Nhat-Hoa Tran 1 Yuki Chiba 2 Toshiaki Aoki 3 417-426 APSEC APSEC 2017 2017 provenance information for RDF data of dblp record 'conf/apsec/TranCA17' 2023-03-23T23:58:00+0100