@inproceedings{,
    author = {Kalles, Dimitrios; Ntoutsi, Eirini},
    title = {Interactive verification of game design and playing strategies},
    editor = {},
    booktitle = {14th IEEE International Conference on Tools with Artificial Intelligence, 2002 (ICTAI 2002). Proceedings},
    series = {},
    journal = {},
    address = {Piscataway, NJ},
    publisher = {IEEE},
    edition = {},
    year = {2002},
    isbn = {0-7695-1849-4},
    volume = {},
    number =  {},
    pages = {425-430},
    url = {},
    doi = {10.1109/TAI.2002.1180834},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}