Nelson Guimarães Ferreira

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva
Automatic Verification of Safety Rules for a Subway Control Software. Electron. Notes Theor. Comput. Sci. 130 (2005)