Specification and verification methods for probabilistic processes
By: Linda Christoff
Published: 1993
Language: eng
Number of pages: 159
Subjects: Probabilistic automata; Sequential machine theory
Notes: "DoCS 93/37."

Thesis (Ph. D.)--Uppsala University, 1993.

Includes bibliographical references (p. 155-159).