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