Topological abstraction of higher-dimensional automata

Theoretical Computer Science

Journal Article

Publication

Year of publication: 2016

Volume: 631

Pages: 97-117

Identifiers

Other: 2-s2.0-84981763294

Locators

Alternative Titles