Authors: NICOL DM CIARDO G

Citation: Dm. Nicol et G. Ciardo, AUTOMATED PARALLELIZATION OF DISCRETE STATE-SPACE GENERATION, Journal of parallel and distributed computing, 47(2), 1997, pp. 153-167

Authors: CIARDO G GHEZZI C

Citation: G. Ciardo et C. Ghezzi, BEST PAPERS OF THE 6TH INTERNATIONAL WORKSHOP OIL PETRI NETS AND PERFORMANCE MODELS (PNPM95) - INTRODUCTION TO THE SPECIAL SECTION, IEEE transactions on software engineering, 22(9), 1996, pp. 601-602

Authors: CIARDO G GERMAN R LINDEMANN C

Citation: G. Ciardo et al., A CHARACTERIZATION OF THE STOCHASTIC-PROCESS UNDERLYING A STOCHASTIC PETRI-NET, IEEE transactions on software engineering, 20(7), 1994, pp. 506-515

Authors: CIARDO G LINDEMANN C

Citation: G. Ciardo et C. Lindemann, ANALYSIS OF SELF-STABILIZING CLOCK SYNCHRONIZATION BY MEANS OF STOCHASTIC PETRI NETS - COMMENTS, I.E.E.E. transactions on computers, 43(12), 1994, pp. 1453-1456