| |
| 1987 | ||
|---|---|---|
| 2 | Pier Giorgio Bosco, Egidio P. Giachin, G. Giandonato, G. Martinengo, Claudio Rullent: A Parallel Architecture for Signal Understanding through Inference on Uncertain Data. PARLE (1) 1987: 86-102 | |
| 1984 | ||
| 1 | Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti: A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. ICLP 1984: 219-229 | |
| 1 | Pier Giorgio Bosco | [1] [2] |
| 2 | Egidio P. Giachin | [2] |
| 3 | Elio Giovannetti | [1] |
| 4 | G. Martinengo | [2] |
| 5 | Claudio Rullent | [2] |