Вы здесь

Chiola G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 2001 Carvajal-Schiaffino R., Delzanno G., Chiola G. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001
СТ Manual and Automatic Exploitation of Symmetries in SPN Models 1998 Chiola G. Lecture Notes in Computer Science 04.07.1998
СТ Deadlock Detection in the Face of Transaction and Data Dependencies 1998 Bertino E., Chiola G., Mancini L. V. Lecture Notes in Computer Science 04.07.1998
СТ Improving the Efficiency of the Analysis of DSPN Models 1988 Marsan M. A., Chiola G., Fumagalli A. Application and Theory of Petri Nets 08.07.1995
СТ Introducing a Color Formalism into Generalized Stochastic Petri Nets 1988 Chiola G., Bruno G., Demaria T. Application and Theory of Petri Nets 08.07.1995
СТ Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation 1994 Ferscha A., Chiola G. Lecture Notes in Computer Science 07.07.1994
СТ Distributed Simulation of Timed Petri Nets: Explpoiting the Net Structure to Obtain Efficiency 1993 Chiola G., Ferscha A. Lecture Notes in Computer Science 21.08.1993