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
URL: http://drops.dagstuhl.de/opus/volltexte/2012/38...
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/986
Release Date: 16. December 2012