2 results
Modal and mixed specifications: key decision problems and their complexities
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 1 / February 2010
- Published online by Cambridge University Press:
- 26 February 2010, pp. 75-103
-
- Article
- Export citation
Cage/Cardew
-
- Article
- Export citation