Sciweavers

41650 search results - page 229 / 8330
» Distribution of
Sort
View
CONCUR
1992
Springer
15 years 10 months ago
Verification of Parallel Systems via Decomposition
Jan Friso Groote, Faron Moller
CONCUR
1992
Springer
15 years 10 months ago
Action Transducers and Timed Automata
Frits W. Vaandrager, Nancy A. Lynch