From bounded affine types to automatic timing analysis. Ghica, D. R. & Smith, A. CoRR, 2013.
Paper
Link bibtex @article{ journals/corr/GhicaS13,
added-at = {2013-08-15T00:00:00.000+0200},
author = {Ghica, Dan R. and Smith, Alex},
biburl = {http://www.bibsonomy.org/bibtex/26c0b65298ca4c507261fa598289f83b0/dblp},
ee = {http://arxiv.org/abs/1307.2473},
interhash = {f5415ed3f53ded9efcfff2534d163459},
intrahash = {6c0b65298ca4c507261fa598289f83b0},
journal = {CoRR},
keywords = {dblp},
title = {From bounded affine types to automatic timing analysis.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1307.html#GhicaS13},
volume = {abs/1307.2473},
year = {2013}
}
Downloads: 0
{"_id":{"_str":"537c54b8b3aa042605005c68"},"__v":0,"authorIDs":[],"author_short":["Ghica, D.<nbsp>R.","Smith, A."],"bibbaseid":"ghica-smith-fromboundedaffinetypestoautomatictiminganalysis-2013","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"ghica-smith-fromboundedaffinetypestoautomatictiminganalysis-2013","urls":{"Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1307.html#GhicaS13","Link":"http://arxiv.org/abs/1307.2473"},"role":"author","year":"2013","volume":"abs/1307.2473","url":"http://dblp.uni-trier.de/db/journals/corr/corr1307.html#GhicaS13","type":"article","title":"From bounded affine types to automatic timing analysis.","keywords":"dblp","key":"journals/corr/GhicaS13","journal":"CoRR","intrahash":"6c0b65298ca4c507261fa598289f83b0","interhash":"f5415ed3f53ded9efcfff2534d163459","id":"journals/corr/GhicaS13","ee":"http://arxiv.org/abs/1307.2473","biburl":"http://www.bibsonomy.org/bibtex/26c0b65298ca4c507261fa598289f83b0/dblp","bibtype":"article","bibtex":"@article{ journals/corr/GhicaS13,\n added-at = {2013-08-15T00:00:00.000+0200},\n author = {Ghica, Dan R. and Smith, Alex},\n biburl = {http://www.bibsonomy.org/bibtex/26c0b65298ca4c507261fa598289f83b0/dblp},\n ee = {http://arxiv.org/abs/1307.2473},\n interhash = {f5415ed3f53ded9efcfff2534d163459},\n intrahash = {6c0b65298ca4c507261fa598289f83b0},\n journal = {CoRR},\n keywords = {dblp},\n title = {From bounded affine types to automatic timing analysis.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1307.html#GhicaS13},\n volume = {abs/1307.2473},\n year = {2013}\n}","author_short":["Ghica, D.<nbsp>R.","Smith, A."],"author":["Ghica, Dan R.","Smith, Alex"],"added-at":"2013-08-15T00:00:00.000+0200"},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Smith?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["bounded","affine","types","automatic","timing","analysis","ghica","smith"],"title":"From bounded affine types to automatic timing analysis.","year":2013,"dataSources":["DvJyE8CDhC2bX8rnN"]}