Bisimilar States in Uncertain Structures.

Jurriaan Rot, Thorsten Wimann

Browse the full CALCO paper archive.