Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 14
- 12
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
|
sorted by
|
|
|
Verification of concurrent design patterns with dataCOORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers
hal-02143782v1
|
||
|
|
Quantifying Object- and Command-oriented Interaction15th Human-Computer Interaction (INTERACT), IFIP, Sep 2015, Bamberg, Germany. pp.231-239, ⟨10.1007/978-3-319-22723-8_18⟩
Conference papers
hal-01252527v1
|