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/ifm/NgoTGGB12.rdf
Van Chan Ngo et al.: Formal Verification of Compiler Transformations on Polychronous Equations. (2012) conf/ifm/NgoTGGB12 10.1007/978-3-642-30729-4_9 Formal Verification of Compiler Transformations on Polychronous Equations. 5 Van Chan Ngo 1 Jean-Pierre Talpin 2 Thierry Gautier 3 Paul Le Guernic 4 Loïc Besnard 5 113-127 IFM IFM 2012 2012 provenance information for RDF data of dblp record 'conf/ifm/NgoTGGB12' 2017-05-24T08:28:10+0200