1 search result for "author:"Emmanuel Freund & Christine Paulin""
Showing 1 - 1
-
coq-pautomata
No documentation
Parameterized automatakeyword: p-automata keyword: ABR keyword: PGM keyword: time category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systemsEmmanuel Paulin8.10.0LGPL 2.1Used by 0 other packages07 Dec 2019