|
|
| Line 1: |
Line 1: |
| − | <html>
| |
| − |
| |
| − | <head>
| |
| − | <title>ref.bib</title>
| |
| − | </head>
| |
| − |
| |
| − | <body>
| |
| − | <h1>ref.bib</h1><a name="DBLP:conf/aplas/EneaLSV14"></a><pre>
| |
| − | @inproceedings{<a href="ref.html#DBLP:conf/aplas/EneaLSV14">DBLP:conf/aplas/EneaLSV14</a>,
| |
| − | author = {Constantin Enea and
| |
| − | Ondrej Leng{\'{a}}l and
| |
| − | Mihaela Sighireanu and
| |
| − | Tom{\'{a}}s Vojnar},
| |
| − | title = {Compositional Entailment Checking for a Fragment of Separation Logic},
| |
| − | booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
| |
| − | 2014, Singapore, November 17-19, 2014, Proceedings},
| |
| − | pages = {314--333},
| |
| − | year = {2014},
| |
| − | crossref = {<a href="#DBLP:conf/aplas/2014">DBLP:conf/aplas/2014</a>},
| |
| − | url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">http://dx.doi.org/10.1007/978-3-319-12736-1_17</a>},
| |
| − | doi = {10.1007/978-3-319-12736-1_17},
| |
| − | timestamp = {Wed, 15 Oct 2014 15:39:11 +0200},
| |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14">http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14</a>},
| |
| − | bibsource = {dblp computer science bibliography, http://dblp.org}
| |
| − | }
| |
| − | </pre>
| |
| − |
| |
| − | <a name="DBLP:conf/aplas/2014"></a><pre>
| |
| − | @proceedings{<a href="ref.html#DBLP:conf/aplas/2014">DBLP:conf/aplas/2014</a>,
| |
| − | editor = {Jacques Garrigue},
| |
| − | title = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
| |
| − | 2014, Singapore, November 17-19, 2014, Proceedings},
| |
| − | series = {Lecture Notes in Computer Science},
| |
| − | volume = {8858},
| |
| − | publisher = {Springer},
| |
| − | year = {2014},
| |
| − | url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1">http://dx.doi.org/10.1007/978-3-319-12736-1</a>},
| |
| − | doi = {10.1007/978-3-319-12736-1},
| |
| − | isbn = {978-3-319-12735-4},
| |
| − | timestamp = {Thu, 05 Mar 4453733 11:20:48 +},
| |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/2014">http://dblp.uni-trier.de/rec/bib/conf/aplas/2014</a>},
| |
| − | bibsource = {dblp computer science bibliography, http://dblp.org}
| |
| − | }
| |
| − | </pre>
| |
| − |
| |
| − | <a name="DBLP:conf/atva/IosifRV14"></a><pre>
| |
| − | @inproceedings{<a href="ref.html#DBLP:conf/atva/IosifRV14">DBLP:conf/atva/IosifRV14</a>,
| |
| − | author = {Radu Iosif and
| |
| − | Adam Rogalewicz and
| |
| − | Tom{\'{a}}s Vojnar},
| |
| − | title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
| |
| − | booktitle = {Automated Technology for Verification and Analysis - 12th International
| |
| − | Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
| |
| − | Proceedings},
| |
| − | pages = {201--218},
| |
| − | year = {2014},
| |
| − | crossref = {<a href="#DBLP:conf/atva/2014">DBLP:conf/atva/2014</a>},
| |
| − | url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">http://dx.doi.org/10.1007/978-3-319-11936-6_15</a>},
| |
| − | doi = {10.1007/978-3-319-11936-6_15},
| |
| − | timestamp = {Mon, 03 Nov 2014 14:32:36 +0100},
| |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14">http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14</a>},
| |
| − | bibsource = {dblp computer science bibliography, http://dblp.org}
| |
| − | }
| |
| − | </pre>
| |
| − |
| |
| − | <a name="DBLP:conf/atva/2014"></a><pre>
| |
| − | @proceedings{<a href="ref.html#DBLP:conf/atva/2014">DBLP:conf/atva/2014</a>,
| |
| − | editor = {Franck Cassez and
| |
| − | Jean{-}Fran{\c{c}}ois Raskin},
| |
| − | title = {Automated Technology for Verification and Analysis - 12th International
| |
| − | Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
| |
| − | Proceedings},
| |
| − | series = {Lecture Notes in Computer Science},
| |
| − | volume = {8837},
| |
| − | publisher = {Springer},
| |
| − | year = {2014},
| |
| − | url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http://dx.doi.org/10.1007/978-3-319-11936-6</a>},
| |
| − | doi = {10.1007/978-3-319-11936-6},
| |
| − | isbn = {978-3-319-11935-9},
| |
| − | timestamp = {Mon, 30 May 4441695 07:41:20 +ication},
| |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/2014">http://dblp.uni-trier.de/rec/bib/conf/atva/2014</a>},
| |
| − | bibsource = {dblp computer science bibliography, http://dblp.org}
| |
| − | }
| |
| − | </pre>
| |
| − |
| |
| − | <a name="DBLP:journals/corr/IosifRV14a"></a><pre>
| |
| − | @article{<a href="ref.html#DBLP:journals/corr/IosifRV14a">DBLP:journals/corr/IosifRV14a</a>,
| |
| − | 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 = {<a href="http://arxiv.org/abs/1410.5056">http://arxiv.org/abs/1410.5056</a>},
| |
| − | timestamp = {Mon, 05 Feb 4436029 15:43:12 +},
| |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a">http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a</a>},
| |
| − | bibsource = {dblp computer science bibliography, http://dblp.org}
| |
| − | }
| |
| − | </pre>
| |
| − |
| |
| − | <hr><p><em>This file was generated by
| |
| − | <a href="http://www.lri.fr/~filliatr/bibtex2html/">bibtex2html</a> 1.96.</em></p>
| |
| − | </body>
| |
| − | </html>
| |
| − | eduroam-041040:vecolib-bibtex radu$ clear
| |
| − |
| |
| − | eduroam-041040:vecolib-bibtex radu$ cat ref_bib.html
| |
| − | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
| |
| − |
| |
| | <html> | | <html> |
| | | | |
Revision as of 14:21, 1 March 2015
ref.bib
ref.bib
@inproceedings{DBLP:conf/aplas/EneaLSV14,
author = {Constantin Enea and
Ondrej Leng{\'{a}}l and
Mihaela Sighireanu and
Tom{\'{a}}s Vojnar},
title = {Compositional Entailment Checking for a Fragment of Separation Logic},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
pages = {314--333},
year = {2014},
crossref = {DBLP:conf/aplas/2014},
url = {http://dx.doi.org/10.1007/978-3-319-12736-1_17},
doi = {10.1007/978-3-319-12736-1_17},
timestamp = {Wed, 15 Oct 2014 15:39:11 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aplas/2014,
editor = {Jacques Garrigue},
title = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
publisher = {Springer},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-319-12736-1},
doi = {10.1007/978-3-319-12736-1},
isbn = {978-3-319-12735-4},
timestamp = {Thu, 05 Mar 4453733 11:20:48 +},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/2014},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atva/IosifRV14,
author = {Radu Iosif and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
pages = {201--218},
year = {2014},
crossref = {DBLP:conf/atva/2014},
url = {http://dx.doi.org/10.1007/978-3-319-11936-6_15},
doi = {10.1007/978-3-319-11936-6_15},
timestamp = {Mon, 03 Nov 2014 14:32:36 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atva/2014,
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
publisher = {Springer},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-319-11936-6},
doi = {10.1007/978-3-319-11936-6},
isbn = {978-3-319-11935-9},
timestamp = {Mon, 30 May 4441695 07:41:20 +ication},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/2014},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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.
