Sciweavers

15951 search results - page 201 / 3191
» Lawful software engineering
Sort
View
AMAST
2004
Springer
15 years 11 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe