A Nearly Memory-Optimal Data Structure for Sets and Mappings

  • Jacobus Geldenhuys (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period2003
    Event titleModel Checking Software, 10 th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003, Proceedings
    Event typeConference

    Country of activity

    • United States

    Publication forum classification

    • No publication forum level