| 2000 | ||
|---|---|---|
| 3 | G. Manduchi, M. Moro: Automatic verification for a class of distributed systems. Distributed Computing 13(3): 127-143 (2000) | |
| 1994 | ||
| 2 | G. Manduchi, M. Moro: An Object Oriented Approach in Building an Environment for Simulation and Analysis Based on Timed Petri Nets with Multiple Execution Policies. MASCOTS 1994: 330-334 | |
| 1986 | ||
| 1 | Umberto Mengali, Nunzio A. D'Andrea, M. Moro: Pulse Shaping in Clock Recovery. ICC 1986: 1194-1198 | |
| 1 | Nunzio A. D'Andrea | [1] |
| 2 | G. Manduchi | [2] [3] |
| 3 | Umberto Mengali | [1] |