Specification and verification methods for probabilistic processes

An edition of Specification and verification methods for probabilistic processes (1993)

Specification and verification methods for probabilistic processes

By Linda Christoff

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1993

Publisher

Language

eng

Pages

159

Description:

subjects: Probabilistic automata, Sequential machine theory