Davide Basile (@davidebasile) 's Twitter Profile
Davide Basile

@davidebasile

Permanent Researcher @ ISTI CNR Pisa, Formal Methods and Tools Lab

ID: 137781990

linkhttp://davidebasile.github.io calendar_today27-04-2010 19:04:59

61 Tweet

52 Followers

177 Following

Davide Basile (@davidebasile) 's Twitter Profile Photo
Davide Basile
@davidebasile

2 years ago

the presentation of the paper "Research Challenges in Orchestration Synthesis" by Davide Basile and Maurice H. ter Beek, presented at the 16th Interaction and Concurrency Experience (ICE 2023) satellite workshop of DisCoTec 2023 is available here youtube.com/watch?v=c1wcA9…