MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Valeria Vittorini" – 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

Efficient Model Checking of Properties of a Distributed Application: a Multimedia Case Study
by Nicola Mazzocca, Antonella Santone, Valeria Vittorini, Gigliola Vaglini, Gigliola Vaglini
… Mazzocca | , Antonella Santone , Gigliola Vaglini , Valeria Vittorini } | Dip. di Ingegneria…
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

Showing 1 through 3.

ATOM

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