Vol-1846⫷ Vol-1847 ⫸Vol-1848
urn:nbn:de:0074-1847-0


Vol-1847/paper11⫷Vol-1847/paper12
Sergio HernándezPedro Álvarez 0001Javier FabraJoaquín Ezpeleta

Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce