Publications

2 results for Dragomir D. Dimitrijević

A Procedure for Probabilistic Protocol Verification and Evaluation
- - Dragomir D. Dimitrijević
  - Mon-Song Chen
- 1992
- IEEE Transactions on Communications
An integrated algorithm for probabilistic protocol verification and evaluation
- - Dragomir D. Dimitrijevic
  - Mon-Song Chen
- 1989
- IEEE INFOCOM 1989