<![CDATA[abstraction Resources | BNET]]> en-us <![CDATA[Lease Abstraction]]> Sat, 01 Dec 2007 00:00:00 -0800 <![CDATA[ENTITY-CENTRIC ABSTRACTION AND MODELING FRAMEWORK FOR TRANSPORTATION ARCHITECTURES]]> Fri, 01 Sep 2006 23:59:59 -0700 <![CDATA[Toward a Business Process Platform]]> Fri, 01 Jul 2005 00:00:00 -0700 <![CDATA[For abstract view, take a few steps back]]> Sat, 18 Sep 2004 23:59:59 -0700 <![CDATA[Predicate Abstraction and Refinement Techniques for Verifying Verilog]]> Fri, 25 Jun 2004 00:00:00 -0700 <![CDATA[Abstraction-based Satisfiability Solving of Presburger Arithmetic]]> Thu, 01 Jan 2004 00:00:00 -0800 <![CDATA[Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems]]> Fri, 24 Jan 2003 00:00:00 -0800 <![CDATA[Noble Abstractions: American Liberal Intellectuals and World War II.(Review) (book review)]]> Fri, 22 Sep 2000 23:59:59 -0700 <![CDATA[Arguing About Slavery: The Great Battle in the United States Congress. (1999 Survey of Books Related to the Law) (book reviews) (book reviews)]]> Sat, 01 May 1999 23:59:59 -0700 <![CDATA[Free Speech in Its Forgotten Years. (1999 Survey of Books Related to the Law) (book reviews) (book reviews)]]> Sat, 01 May 1999 23:59:59 -0700 <![CDATA[Research in object-oriented manufacturing simulations: an assessment of the state of the art]]> Tue, 01 Sep 1998 23:59:59 -0700 <![CDATA[Richard A. Cloward and Frances Fox Piven: professor, Columbia University School of Social Work; professor, Graduate Center, CUNY. (City University of New York) (125th Anniversary Issue: Patriotism)]]> Mon, 15 Jul 1991 23:59:59 -0700