共 50 条
- [1] On a matrix method for reduction of periodically nonstationary stochastic automata Vestnik Sankt-Peterburgskogo Universiteta. Ser 1. Matematika Mekhanika Astronomiya, 2002, (01): : 37 - 43
- [3] Automata, tableaus and a reduction theorem for fixpoint calculi in arbitrary complete lattices 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 172 - 182
- [7] Stochastic automata networks MODELLING, STATE OBSERVATION AND DIAGNOSIS OF QUANTISED SYSTEMS, 2003, 282 : 199 - 232
- [10] Diagnosability of stochastic automata 42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 6289 - 6294