Gaya APA
Manna,Zohar, .
(1992).
THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS
.
:
.
Gaya MLA
Manna,Zohar, .
"THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS".
:
,
1992.
Buku.