Finkel, A., & Lozes, E. (2017). Synchronizability of Communicating Finite State Machines is not Decidable.
Chicago-Zitierstil (17. Ausg.)Finkel, Alain, und Etienne Lozes. Synchronizability of Communicating Finite State Machines Is Not Decidable. 2017.
MLA-Zitierstil (9. Ausg.)Finkel, Alain, und Etienne Lozes. Synchronizability of Communicating Finite State Machines Is Not Decidable. 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.