skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Efficient model checking of properties of a distributed application: a multimedia case study

Mazzocca, N., A. Santone, G. Vaglini, and V. Vittorini, "Efficient model checking of properties of a distributed application: a multimedia case study", Software Testing, Verification and Reliability, vol. 12, no. 1: Wiley Online Library, pp. 3–21, 2002.