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
märksõna
TTÜ märksõna
võtmesõna
ISSN
1614-5046
märkused
Bibliogr.: 23 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Maarand, H., Uustalu, T. Certified normalization of generalized traces // Innovations in Systems and Software Engineering (2019) vol. 15, p. 253–265.