Data di Pubblicazione:
2019
Citazione:
From Dynamic State Machines to Promela / Benerecetti, M., Gentile, U., Marrone, S., Nardone, R., Peron, A., Starace, L.L.L., Vittorini, V.. - 11636:(2019), pp. 56-73. [10.1007/978-3-030-30923-7_4]
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Benerecetti, Massimo; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Starace, Luigi L. L.; Vittorini, Valeria
Link alla scheda completa:
Titolo del libro:
26th International Symposium on Model Checking Software, SPIN 2019; Beijing; China; 15 July 2019 through 16 July 2019; Code 232809