J. Machado, E. Seabra, J.C. Campos, F. Soares, C.P. Leao and J.F. Silva
Simulation and Formal Verification of Industrial Systems Controllers
In 19th International Congress of Mechanical Engineering (COBEM 2007). ABCM. 2007. (ISBN: 978-85-85769-34-5) 

@InProceedings{MachadoSCSLS:2007,
 author = {J. Machado and E. Seabra and J.C. Campos and F. Soares and C.P. Leao and J.F. Silva},
 title = {Simulation and Formal Verification of Industrial Systems Controllers},
 booktitle = {19th International Congress of Mechanical Engineering (COBEM 2007)},
 publisher = {ABCM},
 year = {2007},
 note = {ISBN: 978-85-85769-34-5}
}

Generated by mkBiblio 2.6.28