The ideal view on Rackoff's coverability technique.

Ranko Lazic Sylvain Schmitz

Published in: Inf. Comput. (2021)

Keyphrases

information technology
three dimensional
cooperative
special case
management system
multiple views