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.

