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
subject term
TTÜ subject term
ISSN
1614-5046
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q3
TTÜ department
language
inglise
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