5-3-counter-model.dot (78B)
1 digraph g { 2 rankdir=LR 3 1 -> 2; 2 [shape="Mrecord", label="{2 | p}"] 4 1 -> 3 5 } 6
lectures.alex.balgavy.euLecture notes from university. | |
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git | |
Log | Files | Refs | Submodules |