[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 10817 || Capturing Membrane Computing by ASMs
Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, KlausVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-91271-4_27
File:
PDF, 199 KB
english, 2018