Qualitative analysis and deadlock prevention of a real-world IC wafer fabrication system.

MuDer Jeng, Xiaolan Xie

Browse the full SMC paper archive.