Safety Verification of Communicating One-Counter Machines

Professorship/Faculty: Software Technologies  
Authors: Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire
Title of the compilation: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
Corporate Body: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Publisher Information: Wadern
Year of publication: 2012
Pages / Size: S. 224 – 235 : Ill.
ISBN: 978-3-939897-47-7
Series ; Volume: LIPIcs - Leibniz International Proceedings in Informatics ; 18
Language(s): English
Document Type: Conferenceobject
Release Date: 16. December 2012