Abstract state machine (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Abstract state machine" in English language version.

refsWebsite

Global rank English rank

2^nd place

11^th place

8^th place

low place

low place

doi.org (Global: 2^nd place; English: 2^nd place)

Bowen, Jonathan P. (2021). "Communities and Ancestors Associated with Egon Börger and ASM". In Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter (eds.). Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science. Vol. 12750. Springer International Publishing. pp. 96–120. doi:10.1007/978-3-030-76020-5_6. ISBN 978-3-030-76019-9. S2CID 235414337.
Börger, Egon (2002). "The Origins and the Development of the ASM Method for High Level System Design and Analysis". Journal of Universal Computer Science . 8 (1). doi:10.3217/jucs-008-01-0002.
Bowen, Jonathan P. (November 2018). "Egon Börger and Alexander Raschke: Modeling companion for software practitioners". Formal Aspects of Computing. 30 (6): 761–762. doi:10.1007/s00165-018-0472-4. S2CID 53086556.

Bowen, Jonathan P. (2021). "Communities and Ancestors Associated with Egon Börger and ASM". In Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter (eds.). Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science. Vol. 12750. Springer International Publishing. pp. 96–120. doi:10.1007/978-3-030-76020-5_6. ISBN 978-3-030-76019-9. S2CID 235414337.
Bowen, Jonathan P. (November 2018). "Egon Börger and Alexander Raschke: Modeling companion for software practitioners". Formal Aspects of Computing. 30 (6): 761–762. doi:10.1007/s00165-018-0472-4. S2CID 53086556.

"AsmBook Home Page". Italy: University of Pisa. November 2005. Retrieved 8 June 2021. (Chapter 9)