(1999). Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
Tohutoru Kātū Chicago (17th ed.)Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 1999.
Tohutoro MLA (9th ed.)Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 1999.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.