CINECA IRIS Institutional Research Information System

Model checking time petri nets using NuSMV

HORVATH, Andras
2001-01-01
2001
5th International Workshop on Performability Modeling of Computer and Communication System
Erlangen, Germany
Sep. 2001
Proc. of the 5th International Workshop on Performability Modeling of Computer and Communication System
Erlangen University Press
1
5
A. BOBBIO; A. HORVATH
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/113883
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact