diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:53:49 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:53:49 +0100 |
| commit | a3219a82dcb2b5cdff512b75577a3fe0d7dd91b4 (patch) | |
| tree | cea8e1f725e960c6f7f9a33f32410f5a63ce2a8d /mgr.bib | |
| parent | 2ea016d15ca9f777fc99e9f6b2b5a144b056da23 (diff) | |
Add MSO to automaton citation
Diffstat (limited to 'mgr.bib')
| -rw-r--r-- | mgr.bib | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -110,6 +110,17 @@ author = {Mikołaj Bojańczyk}, title = {Factorization Forests} } +@misc{bojanczyktoolbox, + url = {https://www.mimuw.edu.pl/~bojan/papers/toolbox-reduced-feb6.pdf}, + year = 2018, + % month = {dec}, + % publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, + % volume = {17}, + % number = {6}, + pages = {65--70}, + author = {Mikołaj Bojańczyk}, + title = {An Automata Toolbox} +} @inproceedings{amarilli2019, doi = {10.1145/3294052.3319702}, url = {https://doi.org/10.1145%2F3294052.3319702}, |