Sciweavers

30
Voted
CAV
2005
Springer

Bounded Model Checking of Concurrent Programs

14 years 5 months ago
Bounded Model Checking of Concurrent Programs
Ishai Rabinovitz, Orna Grumberg
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Ishai Rabinovitz, Orna Grumberg
Comments (0)