Mercurial > hg > Papers > 2020 > ikkun-sigos
directory /paper/ @ 32:003a8f96e16e default tip
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
pic/ | drwxr-xr-x | |
src/ | drwxr-xr-x | |
GearsOS-modelchecking.pdf | 613477 | -rw-r--r-- |
Makefile | 527 | -rw-r--r-- |
ebibsample.bib | 5290 | -rw-r--r-- |
ikkun-sigos.pdf | 623212 | -rw-r--r-- |
ikkun-sigos.tex | 26838 | -rw-r--r-- |
ikkun.bib | 1652 | -rw-r--r-- |
ipsj.cls | 142123 | -rwxr-xr-x |
ipsjpref.sty | 7556 | -rwxr-xr-x |
ipsjsort-e.bst | 23603 | -rwxr-xr-x |
ipsjsort.bst | 25930 | -rwxr-xr-x |
ipsjtech.sty | 6572 | -rwxr-xr-x |
ipsjunsrt-e.bst | 21162 | -rwxr-xr-x |
ipsjunsrt.bst | 23435 | -rwxr-xr-x |