%0 Conference Paper %1 conf/apn/HernandezAFE17 %A Hernández, Sergio %A Álvarez, Pedro %A Fabra, Javier %A Ezpeleta, Joaquín %B ATAED@Petri Nets/ACSD %D 2017 %E van der Aalst, Wil M. P. %E Bergenthum, Robin %E Carmona, Josep %I CEUR-WS.org %K dblp %P 158-164 %T Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce. %U http://dblp.uni-trier.de/db/conf/apn/ataed2017.html#HernandezAFE17 %V 1847

@inproceedings{conf/apn/HernandezAFE17, added-at = {2023-03-10T00:00:00.000+0100}, author = {Hernández, Sergio and Álvarez, Pedro and Fabra, Javier and Ezpeleta, Joaquín}, biburl = {https://www.bibsonomy.org/bibtex/223779c31ef4f3b493656ffbde4b9f9c7/dblp}, booktitle = {ATAED@Petri Nets/ACSD}, crossref = {conf/apn/2017ataed}, editor = {van der Aalst, Wil M. P. and Bergenthum, Robin and Carmona, Josep}, ee = {https://ceur-ws.org/Vol-1847/paper12.pdf}, interhash = {6c2b089c4366c39a7eddf6e562e08256}, intrahash = {23779c31ef4f3b493656ffbde4b9f9c7}, keywords = {dblp}, pages = {158-164}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T12:02:22.000+0200}, title = {Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce.}, url = {http://dblp.uni-trier.de/db/conf/apn/ataed2017.html#HernandezAFE17}, volume = 1847, year = 2017 }