Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction | Publicación