Skip to content

Modal Logic over Higher Dimensional Automata.

Cristian Prisacariu

VenueBCONCUR
Year2010
ProceedingsCONCUR

Browse the full CONCUR paper archive.