1981 | ||
---|---|---|
2 | Anthony P. Lucido, Rahul Chattergy, Udo W. Pooch: A Survey of Microprogram Verification and Validation Methods. Comput. J. 24(2): 139-142 (1981) | |
1979 | ||
1 | David J. Rypka, Anthony P. Lucido: Deadlock Detection and Avoidance for Shared Logical Resources. IEEE Trans. Software Eng. 5(5): 465-471 (1979) |
1 | Rahul Chattergy | [2] |
2 | Udo W. Pooch | [2] |
3 | David J. Rypka | [1] |