Login / Signup

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States.

Petr JancarJérôme LerouxGrégoire Sutre
Published in: Fundam. Informaticae (2019)
Keyphrases