CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishDimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction / De Nicola, R; Iacobelli, G; Tribastone, M. - In: LECTURE NOTES IN COMPUTER SCIENCE. - ISSN 0302-9743. - 8461(2014), pp. 216-231.
| Titolo: | Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction |
| Autori: | |
| Data di pubblicazione: | 2014 |
| Rivista: | |
| Handle: | http://hdl.handle.net/20.500.11771/3352 |
| Appare nelle tipologie: | 2.1 Contributo in volume (Capitolo o Saggio) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/20.500.11771/3352
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018