MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings / Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro. - 9035:(2015), pp. 436-438. ((Intervento presentato al convegno 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 tenutosi a London, UK nel April 11-18, 2015 [10.1007/978-3-662-46681-0_38].
Titolo: | MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings | |
Autori: | ||
Data di pubblicazione: | 2015 | |
Handle: | http://hdl.handle.net/11386/4647901 | |
ISBN: | 978-3-662-46680-3 978-3-662-46681-0 | |
Appare nelle tipologie: | 4.1.2 Proceedings con ISBN |
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.