Login / Signup

Unifying Equivalences for Higher Dimensional Automata.

Elena S. OshevskayaIrina B. VirbitskaiteEike Best
Published in: Fundam. Informaticae (2012)
Keyphrases