Morten Konggaard Schou
0000-0002-5970-4294
Entries
2023
Labeled Transition Systems
by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel
0000-0002-5970-4294
by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel