@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.26