@InProceedings{GhiNiRaZu-IJCAR-08,
   author = {Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli},
    title = {Towards {SMT} Model Checking of Array-based Systems},
booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2008)},
   editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
     year = {2008},
   series = {Lecture Notes in Computer Science},
   volume = {5195},
    pages = {67--82},
  address = {Sydney (Australia)},
publisher = {Springer},
}