@dblp

Distribution of Modal Transition Systems.

, , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 403-417. Springer, (2012)

Links and resources

Tags