Pubblicazioni
Pubblicazioni trovate: 412
- On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets
G. Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
Apparso su PNPM, 1987, Pagine: 136-145 - Effectively Given Domains and Lamba-Calculus Models
Paola Giannini, Giuseppe Longo
Apparso su Information and Control 62, 1984, Pagine: 36 - 63