Fingerprint
Untersuchen Sie die Forschungsthemen von „Step-Wise Development of Provably Correct Actor Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Step-Wise Development of Provably Correct Actor Systems
Bernhard Aichernig*, Benedikt Maderbacher
*Korrespondierende/r Autor/-in für diese Arbeit
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung