Sciweavers

Share
CAV
2004
Springer

Verification via Structure Simulation

11 years 3 months ago
Verification via Structure Simulation
Neil Immerman, Alexander Moshe Rabinovich, Thomas
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where CAV
Authors Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
Comments (0)
books