Interpolation and Bisimulation in Temporal Logic

Areces, C. and de Rijke, M.. Interpolation and Bisimulation in Temporal Logic. In Proceedings of WoLLIC'98. Workshop of Logic, Language, Information and Computation, pp. 15–21, S\ ao Paulo, Brazil, July 1998.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:inte98b,
  author = {Areces, C. and de Rijke, M.},
  title = {Interpolation and Bisimulation in Temporal Logic},
  booktitle = {Proceedings of WoLLIC'98. Workshop of Logic, Language, Information
	and Computation},
  year = {1998},
  pages = {15--21},
  address = {S{\~a}o Paulo, Brazil},
  month = {July},
  organization = {IME/USP},
}

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