A small model theorem for bisimilarity control under partial observation.

Changyan ZhouRatnesh Kumar
Published in: ACC (2005)
Keyphrases