1 search result for "author:"Felix Klaedtke""

Showing 1 - 1
  1. fadecider
    Documentation
    A package for deciding universality and subsumption of omega automata using Ramsey-based methods
    Oliver Friedmann Felix Klaedtke Martin Lange
    0.7
    BSD-3-clause
    Used by 0 other packages
    14 Oct 2025