Gaya APA

Manna,Zohar, . (1995). TEMPORAL VERIFICATION OF REACTIVE SYSTEMS . : .

Gaya MLA

Manna,Zohar, . "TEMPORAL VERIFICATION OF REACTIVE SYSTEMS". : , 1995. Buku.