An axiomatisation for rooted branching bisimulation with explicit divergence

  • L. Spaninks

Student thesis: Master

Date of Award31 Aug 2013
Original languageEnglish
SupervisorS.P. (Bas) Luttik (Supervisor 1)

Cite this

'