Sciweavers

16790 search results - page 239 / 3358
» A Future for Software Engineering
Sort
View
AMAST
2004
Springer
14 years 2 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe