Sciweavers

1399 search results - page 17 / 280
» Multi-party Finite Computations
Sort
View
COCOON
1999
Springer
14 years 2 months ago
Multi-party Finite Computations
Tomasz Jurdzinski, Miroslaw Kutylowski, Krzysztof ...
RTSS
1994
IEEE
14 years 1 months ago
Computing Quantitative Characteristics of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...