| [2] | A model-based approach for the specification and verification of clinical guidelines (Simona Bernardi, José-Manuel Colom, Jorge Albareda and Cristian Mahulea), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, 2014. |
| [1] | The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach (Juan-Pablo López-Grao and José-Manuel Colom and Fernando Tricas), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, 2014. |