Ref bib.html
From vecolib
Revision as of 13:23, 1 March 2015 by Iosif (Talk | contribs) (Created page with "<html> <head> <title>ref.bib</title> </head> <body> <h1>ref.bib</h1><a name="DBLP:journals/corr/IosifRV14a"></a><pre> @article{<a href="ref.html#DBLP:journals/corr/IosifRV14...")
ref.bib
@article{DBLP:journals/corr/IosifRV14a, author = {Radu Iosif and Adam Rogalewicz and Tom{\'{a}}s Vojnar}, title = {Abstraction Refinement for Trace Inclusion of Data Automata}, journal = {CoRR}, volume = {abs/1410.5056}, year = {2014}, url = {http://arxiv.org/abs/1410.5056}, timestamp = {Mon, 05 Feb 4436029 15:43:12 +}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a}, bibsource = {dblp computer science bibliography, http://dblp.org} }
This file was generated by bibtex2html 1.96.