Meta data
- BibTeX key
- journals/corr/abs-2102-03824
- entry type
- article
- year
- 2021
- journal
- CoRR
- volume
- abs/2102.03824
- ee
- https://arxiv.org/abs/2102.03824
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-03824
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2102-03824
%A Giacobbe, Mirco
%A Kroening, Daniel
%A Parsert, Julian
%D 2021
%J CoRR
%K dblp
%T Neural Termination Analysis.
%U http://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-03824
%V abs/2102.03824
@article{journals/corr/abs-2102-03824,
added-at = {2021-02-10T00:00:00.000+0100},
author = {Giacobbe, Mirco and Kroening, Daniel and Parsert, Julian},
biburl = {https://www.bibsonomy.org/bibtex/2fee0db027d518b29c4ab5c7750981e25/dblp},
ee = {https://arxiv.org/abs/2102.03824},
interhash = {4751e7544776cd7afe4f3a2669279b1a},
intrahash = {fee0db027d518b29c4ab5c7750981e25},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:15:13.000+0200},
title = {Neural Termination Analysis.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-03824},
volume = {abs/2102.03824},
year = 2021
}