Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
https://www.scopus.com/sourceid/300147006
https://www.scopus.com/record/display.uri?eid=2-s2.0-85067808291&origin=inward&txGid=d669738c0007c9065fbd329ad93c7251
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INNOV%20SYST%20SOFTW%20ENG&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000482389700006