Distributed Computing Column 62: Decidability in Parameterized Verification

Jennifer L. Welch. Distributed Computing Column 62: Decidability in Parameterized Verification. SIGACT News, 47(2):52, 2016. [doi]

Abstract

Abstract is missing.