Tableaux and Model Checking for Memory Logics

Areces, C., Figueira, D., Gorin, D., and Mera, S.. Tableaux and Model Checking for Memory Logics. In Automated Reasoning with Analytic Tableaux and Related Methods, pp. 47–61, Springer Berling / Heidelberg, Oslo, Norway, 2009. Proceedings of Tableaux09

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:tabl09,
  author = {Areces, C. and Figueira, D. and Gorin, D. and Mera, S.},
  title = {Tableaux and Model Checking for Memory Logics},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods},
  year = {2009},
  volume = {5607},
  series = {LNAI},
  pages = {47--61},
  address = {Oslo, Norway},
  publisher = {Springer Berling / Heidelberg},
  note = {Proceedings of Tableaux09},
  editors = {M. Giese and A. Waaler}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49