McMilan, K. L. (1993). Symbolic model checking (1.vyd.). Kluwer Academic Publishers.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
McMilan, Kenneth L. Symbolic Model Checking. 1.vyd. Boston: Kluwer Academic Publishers, 1993.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
McMilan, Kenneth L. Symbolic Model Checking. 1.vyd. Kluwer Academic Publishers, 1993.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..