Bisimulations and logics for higher-dimensional automata
In Theoretical aspects of computing - ICTAC 2024 - 21st international colloquium, bangkok, thailand, november 25-29, 2024, proceedings
Safa Zouari
Copyright (c) 2022, LRE; all rights reserved.
Template by Bootstrapious. Ported to Hugo by DevCows.