Sciweavers

15824 search results - page 193 / 3165
» Specialising in Software Engineering
Sort
View
AMAST
2004
Springer
15 years 10 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe
CGO
2004
IEEE
15 years 10 months ago
Extending Path Profiling across Loop Backedges and Procedure Boundaries
Sriraman Tallam, Xiangyu Zhang, Rajiv Gupta