Skip to Main content Skip to Navigation
Conference papers

Interpolation and Bisimulation in Temporal Logic

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00000326
Contributor : Areces Carlos <>
Submitted on : Friday, September 23, 2005 - 5:28:56 PM
Last modification on : Friday, September 23, 2005 - 5:28:56 PM

Identifiers

  • HAL Id : inria-00000326, version 1

Citation

C. Areces, M. de Rijke. Interpolation and Bisimulation in Temporal Logic. Proceedings of WoLLIC'98. Workshop of Logic, Language, Information and Computation, 1998, Sao Paulo, Brazil, pp.15--21. ⟨inria-00000326⟩

Share

Metrics

Record views

8