TY  - GEN
AU  - Jirásková, Galina,
AU  - Pighizzini, Giovanni,
DO  - 10.1007/978-3-030-62536-8
DO  - doi
ID  - 946130
KW  - Formal languages
KW  - Machine theory
KW  - Formal methods (Computer science)
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-62536-8
N1  - Includes author index.
SN  - 9783030625368
SN  - 3030625362
T1  - Descriptional complexity of formal systems :22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings /
TI  - Descriptional complexity of formal systems :22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-62536-8
VL  - 12442
ER  -