Ferreira, N. F. G. (2006). Verificação formal de sistemas modelados em estados finitos.
Citación estilo ChicagoFerreira, Nelson França Guimarães. Verificação Formal De Sistemas Modelados Em Estados Finitos. 2006.
Cita MLAFerreira, Nelson França Guimarães. Verificação Formal De Sistemas Modelados Em Estados Finitos. 2006.
Precaución: Estas citas no son 100% exactas.