Sciweavers

15783 search results - page 619 / 3157
» Evidence-Based Software Engineering
Sort
View
FOSSACS
2007
Springer
16 years 1 months ago
Generalized Parity Games
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
FSEN
2007
Springer
16 years 1 months ago
Type Abstractions of Name-Passing Processes
Lucia Acciai, Michele Boreale
FSEN
2007
Springer
16 years 1 months ago
Slicing Abstractions
Ingo Brückner, Klaus Dräger, Bernd Finkb...
FSEN
2007
Springer
16 years 1 months ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg