Concepedia

Publication | Closed Access

Testing Preorders for Probabilistic Processes

DOI

71

Citations

12

References

1999

Year

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen
Information and Computation

References

YearCitations

Page 1