Generating representative executions : extended abstract
author
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
location of publication
Waterloo
publisher
year of publication
pages
p. 39-48 : ill
series
Electronic proceedings in theoretical computer science ; 246
conference name, date
0th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 29 April, 2017
conference location
Uppsala, Sweden
subject term
ISSN
2075-2180
notes
Bibliogr.: 13 ref
TTÜ department
language
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).