Synthesizing Control Software from Boolean Relations / Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico. - In: INTERNATIONAL JOURNAL ON ADVANCES IN SOFTWARE. - ISSN 1942-2628. - 5:3&4(2012), pp. 212-223.
Synthesizing Control Software from Boolean Relations
MARI, FEDERICO;MELATTI, IGOR;SALVO, Ivano;TRONCI, Enrico
2012
File allegati a 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.