MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marco Daniele" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Interactive Timed Simulation of Distributed Systems - From PROMELA to PROMELA+
by Marco Daniele, Paola Renditore, Roberto Manione — 1995 — SPIN Workshop
…Interactive Timed Simulation of Distributed Systems - From PROMELA to PROMELA+ Marco Daniele, Paola…
Cited by 1 (0 self) – Add To MetaCart

Strong Cyclic Planning Revisited
by Marco Daniele, Paolo Traverso, Moshe Y. Vardi — 1999
…Strong Cyclic Planning Revisited Marco Daniele 1;2 , Paolo Traverso 1 , and Moshe Y. Vardi 3…
Cited by 25 (7 self) – Add To MetaCart

Interactive Timed Simulation of Distributed Systems -
by From Promela To, Marco Daniele, Paola Renditore, Roberto Manione — 1995 — SPIN Workshop
…Interactive Timed Simulation of Distributed Systems - From PROMELA to PROMELA+ Marco Daniele…
Add To MetaCart

Showing 1 through 3.

ATOM

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