top

Model checking for hybrid logics (with an application to semistructured data)

M. Franceschet and M. de Rijke. Model checking for hybrid logics (with an application to semistructured data). Journal of Applied Logic, 4(3):279–304, 2006.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{Fran:Model06,
  author = {M. Franceschet and M. de Rijke},
  title = {Model checking for hybrid logics (with an application to semistructured
	data)},
  journal = {Journal of Applied Logic},
  year = {2006},
  volume = {4},
  pages = {279-304},
  number = {3},
  owner = {areces},
  timestamp = {2008.08.27}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33