Sciweavers

15885 search results - page 597 / 3177
» Strategic 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