McMilan, K. L. (1993). Symbolic model checking (1.vyd.). Kluwer Academic Publishers.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma Chicago
McMilan, Kenneth L. Symbolic Model Checking. 1.vyd. Boston: Kluwer Academic Publishers, 1993.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma MLA
McMilan, Kenneth L. Symbolic Model Checking. 1.vyd. Kluwer Academic Publishers, 1993.
Successfully copied to clipboard
Copying to clipboard failed
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.