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/hvc/BloemenP16.rdf
Vincent Bloemen and Jaco van de Pol: Multi-core SCC-Based LTL Model Checking. (2016) conf/hvc/BloemenP16 10.1007/978-3-319-49052-6_2 Multi-core SCC-Based LTL Model Checking. 2 Vincent Bloemen 1 Jaco van de Pol 2 18-33 Haifa Verification Conference Haifa Verification Conference 2016 2016 provenance information for RDF data of dblp record 'conf/hvc/BloemenP16' 2017-05-19T01:26:09+0200