N. Busi, R. Gorrieri (2009). Structural non-interference in elementary and trace nets. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19(6), 1065-1090 [10.1017/S0960129509990120].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.