1 results
Extending modal transition systems with structured labels
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 4 / August 2012
- Published online by Cambridge University Press:
- 08 May 2012, pp. 581-617
-
- Article
- Export citation