![](/img/cover-not-exists.png)
Concurrent abstract state machines
Börger, Egon, Schewe, Klaus-DieterVolume:
53
Language:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-015-0249-7
Date:
August, 2016
File:
PDF, 561 KB
english, 2016