| Home | << 1 >> |
|
| Author | Title | Year | Publication | Volume | Pages |
|---|---|---|---|---|---|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | Synthesizing Control Software from Boolean Relations | 2012 | International Journal on Advances in Software | vol. 5, nr 3&4 | 212-223 |