Sciweavers

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