Pavel Vasilyev. Simulator for Real-Time Abstract State Machines. In Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with . pages 202-205, INSTICC Press, 2006.
@inproceedings{Vasilyev06:0,
title = {Simulator for Real-Time Abstract State Machines},
author = {Pavel Vasilyev},
year = {2006},
tags = {state machines, abstract machine},
researchr = {https://researchr.org/publication/Vasilyev06%3A0},
cites = {0},
citedby = {0},
pages = {202-205},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with },
editor = {Joseph Barjis and Ulrich Ultes-Nitsche and Juan Carlos Augusto},
publisher = {INSTICC Press},
isbn = {978-972-8865-49-8},
}