From Dynamic State Machines to Promela / Benerecetti, Massimo; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Starace, Luigi L. L.; Vittorini, Valeria. - 11636:(2019), pp. 56-73. [10.1007/978-3-030-30923-7_4]
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.
