Sciweavers

11214 search results - page 214 / 2243
» Programming Multi-agent Systems
Sort
View
WCRE
1998
IEEE
15 years 10 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 10 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...