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/lata/GantyR14.rdf
Pierre Ganty and Ahmed Rezine: Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. (2014) conf/lata/GantyR14 10.1007/978-3-319-04921-2_32 Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. 2 Pierre Ganty 1 Ahmed Rezine 2 396-408 LATA LATA 2014 2014 provenance information for RDF data of dblp record 'conf/lata/GantyR14' 2017-05-24T08:29:26+0200