Certified normalization of generalized traces
author
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
subject term
TTÜ subject term
keyword
classifier
kvartiil
category (general)
category (sub)
TTÜ department
Reserch Group
Maarand, H., Uustalu, T. Certified normalization of generalized traces // Innovations in Systems and Software Engineering (2019) vol. 15, p. 253–265.