1 search result for "author:"Line Jakubiec-Jamet <Line.Jakubiec@lif.univ-mrs.fr> [http://www.dil.univ-mrs.fr/~jakubiec/]""

Showing 1 - 1

coq-fairisle

No documentation

Proof of the Fairisle 4x4 Switch Element

keyword: circuits keyword: automata keyword: co-induction keyword: dependent types category: Computer Science/Architecture date: 2005-12-15

Solange Coupet-Grimal <Solange.Coupet@lif.univ-mrs.fr> [http://www.cmi.univ-mrs.fr/~solange/] Line Jakubiec-Jamet <Line.Jakubiec@lif.univ-mrs.fr> [http://www.dil.univ-mrs.fr/~jakubiec/]

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019