Generating representative executions : extended abstract
vastutusandmed
Hendrik Maarand, Tarmo Uustalu
allikas
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
ilmumiskoht
Waterloo
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 39-48 : ill
seeria-sari
Electronic proceedings in theoretical computer science ; 246
konverentsi nimetus, aeg
0th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 29 April, 2017
konverentsi toimumispaik
Uppsala, Sweden
märksõna
ISSN
2075-2180
märkused
Bibliogr.: 13 ref
TTÜ struktuuriüksus
keel
inglise
Maarand, H., Uustalu, T. Generating representative executions : extended abstract // 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017. Waterloo : Open Publishing Association, 2017. p. 39-48 : ill. (Electronic proceedings in theoretical computer science ; 246).