@BOOK{ Book!D - 92935298,
AUTHOR = "",
TITLE = "Abstract state machines :",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه مازندران",
SUBJECT = "Machine theory ; Congresses ;",
URL = "/book/92935298/Abstract-state-machines/"}