DMCA

Interpolation and Bisimulation in Temporal Logic (1998)

by Carlos Areces , Maarten de Rijke
Venue:In Proceedings of WoLLIC'98. Workshop of Logic, Language, Information and Computation
Citations:2 - 0 self