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].

From Natural Projection to Partial Model Checking and Back

Costa G
;
Galletta L
2018

2018
978-331989959-6
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.11771/7110
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
social impact