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/concur/Pol19.xml
Jaco van de Pol Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). 4:1-4:1 2019 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2019.4 conf/concur/2019 db/conf/concur/concur2019.html#Pol19