From Natural Projection to Partial Model Checking and Back / Costa, G., Basin, D., Bodei, C., Degano, P., Galletta, L.. - 10805:(2018), pp. 344-361. (24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Greece 14-20 April, 2018) [10.1007/978-3-319-89960-2_19].
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.
