Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.

Dieses Ergebnis aus IEEE Xplore Digital Library kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Formal Modeling and Analysis of Slot Machines

Title:	Formal Modeling and Analysis of Slot Machines
Authors:	Groote, J.F.; van Heesch, S.; Volk, M.
Source:	IEEE Transactions on Games IEEE Trans. Games Games, IEEE Transactions on. 17(4):1070-1083 Dec, 2025
Database:	IEEE Xplore Digital Library