Varsha Mainkar, Kishor S. Trivedi Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1996, v:22, n:9, pp:640-653 [Journal]

Matteo Sereno Approximate Mean Value Analysis for Stochastic Marked Graphs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1996, v:22, n:9, pp:654-664 [Journal]

Martin P. Ward Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1996, v:22, n:9, pp:665-686 [Journal]

Tom Adams Total Variance Approach to Software Reliability-Estimation. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1996, v:22, n:9, pp:687-688 [Journal]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP