BibTeX
@inproceedings{DBLP:conf/tacas/GanaiTG06,
author = {Malay K. Ganai and
Muralidhar Talupur and
Aarti Gupta},
title = {{\it DSAT}: Tight Integration of {\it mall Domain Encoding}
and {\it azy} Approaches in a Separation Logic Solver},
booktitle = {TACAS},
year = {2006},
pages = {135-150},
ee = {http://dx.doi.org/10.1007/11691372_9},
crossref = {DBLP:conf/tacas/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tacas/2006,
editor = {Holger Hermanns and
Jens Palsberg},
title = {Tools and Algorithms for the Construction and Analysis of
Systems, 12th International Conference, TACAS 2006 Held
as Part of the Joint European Conferences on Theory and
Practice of Software, ETAPS 2006, Vienna, Austria, March
25 - April 2, 2006, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3920},
year = {2006},
isbn = {3-540-33056-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-04-03 by Michael Ley (ley@uni-trier.de)