141
Voted
FOSSACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...