Searching for authors named "Roberto Manione" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Interactive Timed Simulation of Distributed Systems - From PROMELA to PROMELA+
by Marco Daniele, Paola Renditore, Roberto Manione — 1995 — SPIN Workshop
… Renditore, Roberto Manione Via Borgaro, 21. 10148 Torino - ITALY phone: +39-11-2285111; fax: +39…
Cited by 1 (0 self) – Add To MetaCart

Interactive Timed Simulation of Distributed Systems -
by From Promela To, Marco Daniele, Paola Renditore, Roberto Manione — 1995 — SPIN Workshop
…, Paola Renditore, Roberto Manione Via Borgaro, 21. 10148 Torino - ITALY phone: +39-11-2285111; fax: +39…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB