MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Nicola Mazzocca – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Efficient Model Checking of Properties of a Distributed Application: a Multimedia Case Study
by Nicola Mazzocca, Antonella Santone, Valeria Vittorini, Gigliola Vaglini, Gigliola Vaglini
…Ecient Model Checking of Properties of a Distributed Application: a Multimedia Case Study 1 Nicola…
Add To MetaCart

Integrating Trace Logic and Petri Nets Specifications
by Nicola Mazzocca, Stefano Russo, Valeria Vittorini — 1997 — Proc. HICSS-30, Hawaii Int. Conf. on System Sciences (Software Technology Track), IEEE CS
…Integrating trace logic and Petri nets specifications Nicola Mazzocca, Stefano Russo, Valeria…
Cited by 2 (2 self) – Add To MetaCart

The Wabasoft Homepage. www.wabasoft.com
by Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini — 2003 — In Proc. of the 15th European Simulation Symposium and Exhibition
…-ORIENTED MODELLING Marco Gribaudo Mauro Iacono Nicola Mazzocca Valeria Vittorini Dipartimento di Informatica…
Cited by 1 (1 self) – Add To MetaCart

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework
by Gribaudo Marco, Mazzocca Nicola, Moscato Francesco, Vittorini Valeria
… ∗ , Mazzocca Nicola † , Moscato Francesco ‡ , Vittorini Valeria † ∗ Dipartimento di Informatica, Universita’ di…
Add To MetaCart

Techniques for Reliability and Fault Tolerance in
by Rocco Aversa, Beniamino Di Martino, Mauro Iacono, Nicola Mazzocca
… Iacono and Nicola Mazzocca Dip. Ingegneria dell’Informazione, Second University of Naples, Italy…
Add To MetaCart

Showing 1 through 5.

ATOM

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