MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Giuseppe Della Penna" – 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

On Designing M-commerce Applications
by Luca Dionisio, Giuseppe Della Penna, Benedetto Intrigila, Paola Inverardi
…On Designing M-commerce Applications Luca Dionisio, Giuseppe Della Penna, Benedetto Intrigila…
Add To MetaCart

A Probabilistic Approach to Automatic Verification of Concurrent Systems
by Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini — 2001 — In Proc. Asia-Pacific Software Engineering Conference (APSEC 2001
… Tronci 2;4 , Giuseppe Della Penna 2;4 , Benedetto Intrigila 2;4 , Marisa Venturini Zilli 3…
Cited by 3 (0 self) – Add To MetaCart

Exploiting Transition Locality in Automatic Verification
by Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa, Marisa Venturini Zilli — 2001
…Exploiting Transition Locality in Automatic Verication ? Enrico Tronci 1;?? , Giuseppe Della…
Cited by 7 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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