Sciweavers

22018 search results - page 331 / 4404
» or 2004
Sort
View
AINA
2004
IEEE
15 years 11 months ago
Distributed Logic Programming using Mobile Agents
Tzone I. Wang, Keith L. Clark
164
Voted
AMAST
2004
Springer
15 years 11 months ago
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand Jeannet, Wendelin Serwe
171
Voted
AMAST
2004
Springer
15 years 11 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe