Author

Profile picture
Zoran Marković
Serbian Academy of Sciences and Arts
Belgrade, Serbia
1 article by this author
Sort by:
Research Article
An Axiomatization of a First-order Branching Time Temporal Logic
Dragan Doder, Zoran Ognjanović, Zoran Marković
10.3217/jucs-016-11-1439
 01-06-2010
 Unique: 345 | Total: 401  | Access Period:
 1439-1451
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK