Sciweavers

3514 search results - page 19 / 703
» Evolving Specification Engineering
Sort
View
111
Voted
CBSE
2009
Springer
15 years 8 months ago
Component Specification Using Event Classes
Mark Bickford
113
Voted
AMAST
2004
Springer
15 years 8 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe