Showing 1 - 2 results of 2 for search 'Dilian Gurov', query time: 0.06s Refine Results
  1. 1
    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
    by Wytse Oortwijn, Dilian Gurov, Marieke Huisman
    Published 2020-06-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search