Electronic proceedings in theoretical computer science ; 246 (seeria-sari)

teaviku laadid

Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
  • artikkel kogumikus
    Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill http://dx.doi.org/10.4204/EPTCS.246.8
    artikkel kogumikus
Kirjeid leitud 1, kuvan 1 - 1