• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Lazy Abstraction (2002)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [mtc.epfl.ch]
  • [www-cad.eecs.berkeley.edu]
  • [www-cad.eecs.berkeley.edu]
  • [www.cs.berkeley.edu]
  • [www.cs.ucla.edu]
  • [www-cad.eecs.berkeley.edu]
  • [pho.ucsd.edu]
  • [pho.ucsd.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , Gregoire Sutre
Citations:378 - 32 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1

Version History

Metadata Version 1

User correction supplied by mph

DatumValueSource
TITLE Lazy Abstraction user correction
AUTHOR NAME Thomas A. Henzinger user correction
AUTHOR AFFIL EECS Department, University of California user correction
AUTHOR ADDR Berkeley, CA 94720-1770, U.S.A. user correction
AUTHOR NAME Ranjit Jhala user correction
AUTHOR AFFIL EECS Department, University of California user correction
AUTHOR ADDR Berkeley, CA 94720-1770, U.S.A. user correction
AUTHOR NAME Rupak Majumdar user correction
AUTHOR AFFIL EECS Department, University of California user correction
AUTHOR ADDR Berkeley, CA 94720-1770, U.S.A. user correction
AUTHOR NAME Gregoire Sutre user correction
AUTHOR AFFIL Labri, Universite De Bordeaux I user correction
AUTHOR ADDR 33405 Talence Cedex, France user correction
YEAR 2002 user correction
CITATIONS 7 found ParsCit 1.0
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University