Certified normalization of generalized traces

statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
Innovations in Systems and Software Engineering
journal volume number month
vol. 15
year of publication
pages
p. 253–265
ISSN
1614-5046
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
language
inglise
category (general)
category (sub)
Maarand, H., Uustalu, T. Certified normalization of generalized traces // Innovations in Systems and Software Engineering (2019) vol. 15, p. 253–265. https://doi.org/10.1007/s11334-019-00347-1