Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Contributo in Atti di convegno
Data di Pubblicazione:
2006
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Elenco autori:
Massink, Mieke; TER BEEK, MAURICE HENRI; Latella, Diego
Link alla scheda completa:
Titolo del libro:
Interactive Systems: 12th International Workshop. DSVIS 2005