Sciweavers

15811 search results - page 193 / 3163
» Search-based software engineering
Sort
View
AMAST
2004
Springer
15 years 6 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe