Certified normalization of generalized traces
vastutusandmed
Hendrik Maarand, Tarmo Uustalu
allikas
Innovations in Systems and Software Engineering
ajakirja aastakäik number kuu
vol. 15
ilmumisaasta
leheküljed
p. 253–265
ISSN
1614-5046
märkused
Bibliogr.: 23 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
TTÜ märksõna
võtmesõna
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
Uurimisrühm
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