Mercurial > hg > Papers > 2023 > moririn-sigos
directory /fig/ @ 8:2514493ae067 default tip
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 denotation.graffle
|
101875 | -rw-r--r-- |
 denotation.svg
|
10477 | -rw-r--r-- |
|
logic-and-impl.graffle
|
81554 | -rw-r--r-- |
 logic-and-impl.svg
|
4088 | -rw-r--r-- |
|
meta_cg_dg.graffle
|
3929 | -rw-r--r-- |
|
meta_cg_dg.pdf
|
14360 | -rw-r--r-- |
 meta_cg_dg.svg
|
9050 | -rw-r--r-- |
|
meta_cg_dg.xbb
|
216 | -rw-r--r-- |
 meta_gear.svg
|
24266 | -rw-r--r-- |
 model_checking.svg
|
43355 | -rw-r--r-- |