Loading
|
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes (1994) Wang Yi and Bengt Jonsson |
||
|
Automatic Verification of Real-Time Communicating Systems by Constraint Solving (1994) Wang Yi, Paul Pettersson and Mats Daniels |
||
|
Reasoning about Uncertain Information Compositionally (1994) Wang Yi |
||
|
Testing and Refinements of Probabilistic and Nondeterministic Processes (1994) Bengt Jonsson, Chris Ho Stuart and Wang Yi |
