Extending modal transition systems with structured labels
BAUER, SEBASTIAN S., JUHL, LINE, LARSEN, KIM G., LEGAY, AXEL, SRBA, JIŘÍVolume:
22
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129511000697
Date:
August, 2012
File:
PDF, 724 KB
english, 2012