Showing 1 - 2 results of 2 for search 'Dilian Gurov', query time: 0.02s Refine Results
  1. 1
    Self-Correlation and Maximum Independence in Finite Relations

    Self-Correlation and Maximum Independence in Finite Relations by Dilian Gurov, Minko Markov

    Published 2015-09-01
    Get full text
    Article
  2. 2
    An Abstraction Technique for Verifying Shared-Memory Concurrency

    An Abstraction Technique for Verifying Shared-Memory Concurrency by Wytse Oortwijn, Dilian Gurov, Marieke Huisman

    Published 2020-06-01
    Get full text
    Article

Search Tools: