1 search result for "author:"Emmanuel Freund & Christine Paulin""

Showing 1 - 1
  1. coq-pautomata

    No documentation

    Parameterized automata
    keyword: p-automata keyword: ABR keyword: PGM keyword: time category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems
    Emmanuel Freund & Christine Paulin
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019