Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • Philipp Bock / campvis-public

    Public distribution of CAMPVis

    0
    updated
  • i7 / owl

    Owl (Omega Word and automata Library) is a library tailored for --- but not limited to --- semantic-based translations from LTL to deterministic automata.

    2
    updated
  • vadere / vadere

    open VADERE project

    5
    updated