TY  - BOOK
AU  - Campos,Javier
AU  - Seatzu,Carla
AU  - Xie,Xiaolan
TI  - Formal methods in manufacturing
T2  - Industrial information technology series
SN  - 9781466561557
PY  - 2014///
CY  - Boca Rotan
PB  - CRC Press
KW  - Manufacturing processes
KW  - Mathematical models
N1  - Includes bibliographical references and index
ER  -