IRIS

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]

From Dynamic State Machines to Promela

Nardone, Roberto;
2019-01-01
2019
Biondi F.,Given-Wilson T.,Legay A.
11636
26th International Symposium on Model Checking Software, SPIN 2019; Beijing; China; 15 July 2019 through 16 July 2019; Code 232809
56
73
18
978-3-030-30922-0
978-3-030-30923-7
2-s2.0-85075554658
info:eu-repo/semantics/bookPart
Benerecetti, Massimo; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Starace, Luigi L. L.; Vittorini, Valeria
2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio)
7
268
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]
none
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/20.500.12318/51673
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact