BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Disjunctive image computation for software verification.

ACM Trans. Design Autom. Electr. Syst., 12(2)2007.
Authors: Chao Wang and Zijiang Yang and Franjo Ivancic and Aarti Gupta
URL: http://dblp.uni-trier.de/db/journals/todaes/todaes12.html#WangYIG07
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/todaes/WangYIG07,
title = {Disjunctive image computation for software verification.},
author = {Chao Wang and Zijiang Yang and Franjo Ivancic and Aarti Gupta},
journal = {ACM Trans. Design Autom. Electr. Syst.},
number = {2},
url = {http://dblp.uni-trier.de/db/journals/todaes/todaes12.html#WangYIG07},
volume = {12},
year = {2007},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1230800.1230802}, date = {2007-11-06},
keywords = {dblp }
}