Human-Centred Computing Events
Dimap Seminar: Petr Jancar
Location: MS.04
Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States
More…Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States
More…