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/AbdullaJRS06.rdf
Parosh Aziz Abdulla et al.: Proving Liveness by Backwards Reachability. (2006) conf/concur/AbdullaJRS06 10.1007/11817949_7 Proving Liveness by Backwards Reachability. 4 Parosh Aziz Abdulla 1 Bengt Jonsson 0001 2 Ahmed Rezine 3 Mayank Saksena 4 95-109 CONCUR CONCUR 2006 2006 provenance information for RDF data of dblp record 'conf/concur/AbdullaJRS06' 2021-08-31T12:07:11+0200