![](/img/cover-not-exists.png)
Synthesis of distributed testers from true-concurrency models of reactive systems
Claude JardVolume:
45
Year:
2003
Language:
english
Pages:
10
DOI:
10.1016/s0950-5849(03)00061-2
File:
PDF, 343 KB
english, 2003