Inproceedings,
Proving Termination by Divergence.
D. Babic, A. Hu, Z. Rakamaric, and B. Cook.SEFM, page 93-102. IEEE Computer Society, (2007)
Meta data
- BibTeX key
- conf/sefm/BabicHRC07
- entry type
- inproceedings
- booktitle
- SEFM
- year
- 2007
- pages
- 93-102
- publisher
- IEEE Computer Society
- crossref
- conf/sefm/2007
- ee
- https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.32
- isbn
- 978-0-7695-2884-7
- url
- http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BabicHRC07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sefm/BabicHRC07
%A Babic, Domagoj
%A Hu, Alan J.
%A Rakamaric, Zvonimir
%A Cook, Byron
%B SEFM
%D 2007
%I IEEE Computer Society
%K dblp
%P 93-102
%T Proving Termination by Divergence.
%U http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BabicHRC07
%@ 978-0-7695-2884-7
@inproceedings{conf/sefm/BabicHRC07,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Babic, Domagoj and Hu, Alan J. and Rakamaric, Zvonimir and Cook, Byron},
biburl = {https://www.bibsonomy.org/bibtex/261d2dcbe79c1012d6ee639e260b4e230/dblp},
booktitle = {SEFM},
crossref = {conf/sefm/2007},
ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.32},
interhash = {ccd15238d38d8d6998fb0517a7d87a5c},
intrahash = {61d2dcbe79c1012d6ee639e260b4e230},
isbn = {978-0-7695-2884-7},
keywords = {dblp},
pages = {93-102},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T19:21:32.000+0200},
title = {Proving Termination by Divergence.},
url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BabicHRC07},
year = 2007
}