OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Software Competence Center Hagenberg - SCCH (Hagenberg, Autriche)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine and Mashkoor, Atif. Incremental Construction of Realizable Choreographies. (2018) In: 11th International Symposium on NASA Formal Methods (NFM 2018), 17 April 2018 - 19 April 2018 (Newport News, United States).

This list was generated on Tue Jan 18 06:11:25 2022 CET.