![]() |
| 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] |