Research Output

Filter
Editorial
2019

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation. 100, p. 1-10 10 p.

Research output: Contribution to journalEditorial

3 Citations (Scopus)
2000

Plant asset management via intelligent sensors digital, distributed and for free

Henry, M., Oct 2000, In : Computing and Control Engineering. 11, 5, p. 211 – 213 3 p.

Research output: Contribution to journalEditorial

16 Citations (Scopus)