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⟩