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.uni-trier.de/rec/journals/cj/KongLAYHF15.rdf
Weiqiang Kong et al.: Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. (2015) journals/cj/KongLAYHF15 10.1093/COMJNL/BXU127 Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. 6 Weiqiang Kong 1 Leyuan Liu 0002 2 Takahiro Ando 3 Hirokazu Yatsu 4 Kenji Hisazumi 5 Akira Fukuda 6 2824-2840 Comput. J. Comput. J. 58 11 2015 provenance information for RDF data of dblp record 'journals/cj/KongLAYHF15' 2024-10-06T21:21:40+0200