APA:
Temporal logic - a tool for system modelling (1988).
Informatica (Ljubljana), 12 (1988), 4 ; str. 21-24.
URN:NBN:SI:DOC-XAT6TXSC from http://www.dlib.si
MLA:
"Temporal logic - a tool for system modelling."
Informatica (Ljubljana) (1988) 12 (1988), 4 ; str. 21-24.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-XAT6TXSC>