Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Zoran Marković
Serbian Academy of Sciences and Arts, Serbia

D. Doder, Z. Ognjanović, Z. Marković:
An Axiomatization of a First-order Branching Time Temporal Logic
/jucs_16_11/an_axiomatization_of_a
page 1439 - 1451
Vol.16 / Issue 11