Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

First Page		Document Content
Date: 2011-07-23 03:31:56 Graph theory Mathematics Model checking Theoretical computer science Graph Binary decision diagram Tree Circuit Symbolic trajectory evaluation Signal-flow graph Topology		Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 165,62 KB Share Document on Facebook

	Geometry & Topology–Topological properties of Hilbert schemes of almost-complex four-manifolds II DocID: 1xVL5 - View Document
	Algebraic & Geometric Topology–Generic representations of orthogonal groups: the mixed functors DocID: 1xVsM - View Document
	Geometry & Topology–K –duality for stratified pseudomanifolds C LAIRE D EBORD DocID: 1xVky - View Document
	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich DocID: 1xVcN - View Document
	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich DocID: 1xV3c - View Document