Generating representative executions : extended abstract
Maarand, Hendrik
;
Uustalu, Tarmo
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
2017
/
p. 39-48 : ill
https://doi.org/10.4204/EPTCS.246.8
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85019247773&origin=inward&txGid=22b8ba4a3ce08e642a5e72b5f5230fdb
https://www.webofscience.com/wos/woscc/full-record/WOS:000405454500007