Author

Profile picture
Dragan Doder
Belgrade University
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: 525 | Total: 631  | Access Period:
 1439-1451
HTML
XML
PDF

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

OK