( en | de | ru )

 

Disambiguation of "Marinkovic, Bojan"

Author of the publication

copydeleteadd this publication to your clipboard
A propositional linear time logic with time flow isomorphic to ω2.

, , , and . J. Appl. Log., 12 (2): 208-229 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marko Marinkovic

Tatjana Marinkovic

Dubravko Bojanovski

Djordje Marinkovic

Dragan Marinkovic

 

Other publications of authors with the same name

Serbia Forum - Digital Cultural Heritage Portal., , , , , , , and . ICISP, volume 8509 of Lecture Notes in Computer Science, page 265-271. Springer, (2014)Correctness of the Chord Protocol., , , and . IIKI, page 547-552. IEEE Computer Society, (2016)A Proposal for the National Standard for Describing Digitized Heritage., , and . ELPUB, page 387-388. (2006)Correctness of the Chord protocol., , , , and . Comput. Sci. Inf. Syst., 17 (1): 141-160 (2020)A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2., , , and . CoRR, (2013)Federating digital contact tracing using structured overlay networks., , , , , and . Comput. Sci. Inf. Syst., 19 (3): 1261-1282 (2022)NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia., , and . MTSR, page 45-54. Springer, (2007)A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol., , , and . J. Log. Comput., 29 (5): 803-830 (2019)A Distributed Catalog for Digitized Cultural Heritage., , , and . ICT Innovations, volume 83 of Communications in Computer and Information Science, page 176-186. (2010)Correctness of the Chord Protocol., , , , and . CoRR, (2017)