Skip to content

Residual Nominal Automata.

Joshua Moerman, Matteo Sammartino

VenueBCONCUR
Year2020
ProceedingsCONCUR

Browse the full CONCUR paper archive.