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
subject term
TTÜ subject term
keyword
ISSN
1614-5046
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
classifier
category (general)
category (sub)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
Maarand, H., Uustalu, T. Certified normalization of generalized traces // Innovations in Systems and Software Engineering (2019) vol. 15, p. 253–265.