Sciweavers

60
Voted
TACAS
2000
Springer

Verification of Parameterized Systems Using Logic Program Transformations

15 years 11 days ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where TACAS
Authors Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
Comments (0)