Sciweavers

6047 search results - page 35 / 1210
» A Scenario Construction Process
Sort
View
135
Voted
CAV
2007
Springer
134views Hardware» more  CAV 2007»
15 years 9 months ago
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
Hubert Garavel, Radu Mateescu, Frédé...