Ref bib.html
From vecolib
Revision as of 14: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.
