Search Results - Aceto, Luca
-
1
-
2
Reactive systems : modelling, specification and verification /
Published 2007Other Authors: “…Aceto, Luca…”
Book
-
3
Reactive systems : modelling, specification and verification /
Published 2007Other Authors: “…Aceto, Luca…”
Full Text (via EBSCO)
eBook -
4
Reactive systems : modelling, specification and verification /
Published 2007Other Authors: “…Aceto, Luca…”
Full Text (via Cambridge)
Electronic eBook -
5
Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Soft...
Published 2006Other Authors: “…Aceto, Luca…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
6
Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings.
Published 2011Other Authors: “…Aceto, Luca…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings.
Published 2011Other Authors: “…Aceto, Luca…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
8
Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /
Published 2017Other Authors: “…Aceto, Luca…”
Full Text (via Springer)
eBook