Parametric Shape Analysis via 3-Valued Logic

Parametric Shape Analysis via 3-Valued Logic (1999)

by Mooly Sagiv , Thomas Reps , Reinhard Wilhelm

Citations:

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Parametric Shape Analysis via 3-Valued Logic	user correction - Legacy Corrections
AUTHOR NAME	Mooly Sagiv	user correction - Legacy Corrections
AUTHOR NAME	Thomas Reps	user correction - Legacy Corrections
AUTHOR AFFIL	and	user correction - Legacy Corrections
AUTHOR NAME	Reinhard Wilhelm	user correction - Legacy Corrections
ABSTRACT	Shape Analysis concerns the problem of determining "shape invariants"...	user correction - Legacy Corrections
YEAR	1999	user correction - Legacy Corrections
CITATIONS	44 found	ParsCit 1.0