Login / Signup
G. Giandonato
Publication Activity (10 Years)
Years Active: 1984-1987
Publications (10 Years): 0
</>
Publications
</>
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)
Pier Giorgio Bosco
,
G. Giandonato
,
Elio Giovannetti
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.
ICLP
(1984)