APA Alıntı

Majumdar, R., Thinniyam, R. S., & Zetzsche, G. (2021). General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Tools and Algorithms for the Construction and Analysis of Systems.

Chicago Stili Alıntı

Majumdar, Rupak, Ramanathan S. Thinniyam, ve Georg Zetzsche. "General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond." Tools and Algorithms for the Construction and Analysis of Systems 2021.

MLA Alıntı

Majumdar, Rupak, Ramanathan S. Thinniyam, ve Georg Zetzsche. "General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond." Tools and Algorithms for the Construction and Analysis of Systems 2021.