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


Vol-1847/paper11⫷Vol-1847/paper12

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