Number of items: 3.
Conference or Workshop Item (A Paper)
Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid
(2016)
What You Really Need To Know About Your Neighbor.
Damm, Werner and Finkbeiner, Bernd
(2014)
Automatic Compositional Synthesis of Distributed Systems.
Damm, Werner and Finkbeiner, Bernd
(2011)
Does It Pay to Extend the Perimeter of a World Model?
This list was generated on Thu Apr 25 14:15:42 2024 CEST.