Sciweavers

15824 search results - page 193 / 3165
» Specialising in Software Engineering
Sort
View
AMAST
2004
Springer
15 years 8 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe