powered by:
MagicWare, s.r.o.

Perkusich Angelo

Affiliation:Federal University of Campina Grande
Country:Brazil
Paper CodeTitleTopic
We-M03-TP/12Model Checking Plans for Flexible Manufacturing Systems5.2