Research output per year
Research output per year
Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific
Original language | English |
---|---|
Title of host publication | Formal Methods in Manufacturing |
Editors | X. Xie, J Campos, C Ceatzu |
Place of Publication | Boca Raton, FL, USA |
Publisher | CRC Press |
Chapter | 12 |
Pages | 343-378 |
ISBN (Electronic) | 978-1-4665-6156-4 |
ISBN (Print) | 978-1-4665-6155-7 |
DOIs | |
Publication status | Published - 2014 |
Research output: Book/Report › Report › Scientific