Bisimulations Between Verbrugge Models and Veltman Models.

Tin Perkov

Browse the full WoLLIC paper archive.