| |
| 1988 | ||
|---|---|---|
| 1 | Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella: Modeling of Distributed Problem Solving using Logic Modified Petri Nets. Specification and Verification of Concurrent Systems 1988: 557-574 | |
| 1 | Orazio Mirabella | [1] |
| 2 | Antonella Di Stefano | [1] |