Sciweavers

25167 search results - page 237 / 5034
» Parallel and Distributed Algorithms
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
Axiomatizing Flat Iteration
Rob J. van Glabbeek
ECOOPW
1997
Springer
15 years 10 months ago
Extracting State Diagrams from Legacy Systems
Tarja Systä, Kai Koskimies