Heußner, AlexanderAlexanderHeußnerLe Gall, TristanTristanLe GallSutre, GrégoireGrégoireSutre2019-09-192013-01-282012978-3-939897-47-7https://fis.uni-bamberg.de/handle/uniba/986engSafety Verification of Communicating One-Counter Machinesconferenceobjecthttp://drops.dagstuhl.de/opus/volltexte/2012/3861/pdf/22.pdf