Reasoning about distributed reconfigurable systems

Ahrens, Emma (Corresponding author); Bozga, Marius (Corresponding author); Iosif, Radu (Corresponding author); Katoen, Joost-Pieter (Corresponding author)

New York, NY, USA : ACM (2022)
Contribution to a conference proceedings, Journal Article (Review Article)

In: Proceedings of the ACM on programming languages
Volume: 6
Issue: OOPSLA2
Page(s)/Article-Nr.: 145-174


  • Information & Communication Technology (ICT) Profile Area [080017]
  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]