Options
Safety Verification of Communicating One-Counter Machines
Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire (2012): Safety Verification of Communicating One-Counter Machines, in: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), Wadern, S. 224–235.
Faculty/Chair:
Author:
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:
Year of publication:
2012
Pages:
ISBN:
978-3-939897-47-7
Series ; Volume:
LIPIcs - Leibniz International Proceedings in Informatics ; 18
Language:
English
Type:
Conferenceobject
Activation date:
January 28, 2013
Permalink
https://fis.uni-bamberg.de/handle/uniba/986