Harald Fecher, Heiko Schmidt. Comparing disjunctive modal transition systems with an one-selecting variant. Journal of Logic and Algebraic Programming, 77(1-2):20-39, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.