Janice L. Stolzy

List of publications from the DBLP Bibliography Server - FAQ

1987

2 Nancy G. Leveson, Janice L. Stolzy: Safety Analysis Using Petri Nets. IEEE Trans. Software Eng. 13(3): 386-397 (1987)

1985

1 Nancy G. Leveson, Janice L. Stolzy: Analyzing Safety and Fault Tolerance Using Time Petri Nets. TAPSOFT, Vol.2 1985: 339-355

1987
2		Nancy G. Leveson, Janice L. Stolzy: Safety Analysis Using Petri Nets. IEEE Trans. Software Eng. 13(3): 386-397 (1987)
1985
1		Nancy G. Leveson, Janice L. Stolzy: Analyzing Safety and Fault Tolerance Using Time Petri Nets. TAPSOFT, Vol.2 1985: 339-355

Coauthor Index