Searching for authors named "Benedetto Intrigila" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Böhm's Theorem for Böhm Trees
- …, Universit`a di Torino Corso Svizzera 185, 10149 Torino, Italy E-mail: dezani@(email omitted); Benedetto…
- Cited by 7 (6 self) – Add To MetaCart
-
On Designing M-commerce Applications
- …On Designing M-commerce Applications Luca Dionisio, Giuseppe Della Penna, Benedetto Intrigila…
- Add To MetaCart
-
A Probabilistic Approach to Automatic Verification of Concurrent Systems
- … 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
- … Penna 1 , Benedetto Intrigila 1 , and Marisa Venturini Zilli 2 1 Area Informatica, Universita di L…
- Cited by 7 (3 self) – Add To MetaCart
Showing 1 through 4.
