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.dagstuhl.de/rec/journals/corr/abs-1210-2028.rdf
Marco Faella and Aniello Murano: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. (2012) journals/corr/abs-1210-2028 10.4204/EPTCS.96 1210.2028 Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. 2 Marco Faella 1 Aniello Murano 2 EPTCS EPTCS 96 2012 provenance information for RDF data of dblp record 'journals/corr/abs-1210-2028' 2018-09-12T01:05:16+0200