Skip to content

Concurrent Reflective Abstract State Machines.

Klaus-Dieter Schewe

Year2017
ProceedingsSYNASC

Browse the full SYNASC paper archive.