A Simplified Parallel ASM Thesis

  • Klaus-Dieter Schewe (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period21 Jun 2012
Event titleThird International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012)
Event typeConference
LocationItalyShow on map

Fields of science

  • 102 Computer Sciences
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics