Using formal methods to model hybrid manufacturing processes

Aydin Nassehi, Stephen T. Newman, Vimal Dhokia, Z. Zhu, R. Imani Asrai

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)
Pages	52-56
Number of pages	5
Publication status	Published - 2011

Handle.net

@inproceedings{d843a1afa9484bc1a05f22e5c9a65dd3,

title = "Using formal methods to model hybrid manufacturing processes",

author = "Aydin Nassehi and Newman, {Stephen T.} and Vimal Dhokia and Z. Zhu and Asrai, {R. Imani}",

year = "2011",

language = "Undefined/Unknown",

pages = "52--56",

booktitle = "Proceedings of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)",

}

TY - GEN

T1 - Using formal methods to model hybrid manufacturing processes

AU - Nassehi, Aydin

AU - Newman, Stephen T.

AU - Dhokia, Vimal

AU - Zhu, Z.

AU - Asrai, R. Imani

PY - 2011

Y1 - 2011

M3 - Conference Contribution (Conference Proceeding)

SP - 52

EP - 56

BT - Proceedings of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)

ER -