Sciweavers

15860 search results - page 204 / 3172
» On agent-based software engineering
Sort
View
AMAST
2004
Springer
15 years 7 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe