Sciweavers

15727 search results - page 180 / 3146
» Software Engineering - Introduction
Sort
View
AMAST
2004
Springer
15 years 6 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe