Searching for authors named "Paolo Ballarini" – 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.

Towards Compositional CSL Model Checking
by Paolo Ballarini — 2004
…Towards compositional CSL model checking Paolo Ballarini Dottorato di Ricerca in Informatica…
Cited by 1 (0 self) – Add To MetaCart

1 Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains
by Paolo Ballarini, András Horváth
…1 Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains Paolo…
Add To MetaCart

Showing 1 through 2.

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