共 50 条
- [1] BUFFERING ANALYSIS IN TELEPROCESSING SYSTEMS [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1981, (02): : 55 - 61
- [3] REMARKS ON THE RESULTS OF INTERNATIONAL-SYMPOSIUM TELEPROCESSING SYSTEMS [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1980, (06): : 86 - 86
- [5] SOME RESULTS IN PROBABILISTIC GEOMETRY [J]. ZEITSCHRIFT FUR WAHRSCHEINLICHKEITSTHEORIE UND VERWANDTE GEBIETE, 1968, 9 (02): : 158 - &
- [7] USING MINICOMPUTERS IN TELEPROCESSING SYSTEMS [J]. DATA PROCESSING MAGAZINE, 1970, 12 (11): : 43 - &
- [8] A MODEL OF A DISTRIBUTED TELEPROCESSING SYSTEM [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1981, (04): : 22 - 25
- [9] Quantitative refinement and model checking for the analysis of probabilistic systems [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 131 - 146