Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, and Alberto L. Sangiovanni-Vincentelli. Sci. Comput. Program. 77(2):96-112 (2012)
What is BibSonomy?
Contact & Privacy
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany.