Open access

Formal Methods in Factory Automation

Written By

Corina Popescu and Jose L. Martinez Lastra

Published: March 1st, 2010

DOI: 10.5772/9526

Chapter metrics overview

2,732 Chapter Downloads

View Full Metrics

Written By

Corina Popescu and Jose L. Martinez Lastra

Published: March 1st, 2010