( en | de | ru )

 

Disambiguation of "Gurov, Dilian"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.

, , , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 250-265. Springer, (2004)

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.

No persons found for author name Gurov, Dilian
add a person with the name Gurov, Dilian
 

Other publications of authors with the same name

Procedure-modular specification and verification of temporal safety properties., , and . Softw. Syst. Model., 14 (1): 83-100 (2015)Knowledge-based strategies for multi-agent teams playing against Nature., , and . Artif. Intell., (2022)Trace-based Deductive Verification., , , and . LPAR, volume 94 of EPiC Series in Computing, page 73-95. EasyChair, (2023)Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature., , and . CoRR, (2020)Formal Methods: From Academia to Industrial Practice. A Travel Guide., , and . CoRR, (2020)Contract Based Embedded Software Design., and . TASE, volume 13931 of Lecture Notes in Computer Science, page 77-94. Springer, (2023)CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties., and . FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 107-121. Springer, (2010)Verifying a Structured Peer-to-Peer Overlay Network: The Static Case., , , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 250-265. Springer, (2004)Bounded Invariant Checking for Stateflow Programs., , and . CoRR, (2021)Compositional verification of sequential programs with procedures., , and . Inf. Comput., 206 (7): 840-868 (2008)