Abstract State Machines. A Method for System Specification and Analysis

@inproceedings{Borger2006AbstractSM,
  title={Abstract State Machines. A Method for System Specification and Analysis},
  author={Egon Borger and Angelo Gargantini and Elvinia Riccobene},
  year={2006}
}

Topics from this paper.

Similar Papers

Loading similar papers…