Book Sections
Year : 2013
Marco Autili : Connect in order to contact the contributor
https://inria.hal.science/hal-00866622
Submitted on : Thursday, September 26, 2013-5:59:34 PM
Last modification on : Monday, November 28, 2022-5:44:05 PM
Cite
Marco Autili, Davide Di Ruscio, Amleto Salle, Paola Inverardi, Massimo Tivoli. A Model-Based Synthesis Process for Choreography Realizability Enforcement. Cortellessa, Vittorio and Varro', Daniel. Fundamental Approaches to Software Engineering, 7793, Springer Berlin Heidelberg, pp.37-52, 2013, 978-3-642-37056-4. ⟨10.1007/978-3-642-37057-1_4⟩. ⟨hal-00866622⟩
Collections
65
View
0
Download