Model-checking of ordered multi-pushdown automata
type: Item
instance of: scholarly article
zbMATH Open document ID: 1279.68206
DOI: 10.2168/LMCS-8(3:20)2012
author: Mohamed Faouzi Atig
published in: Logical Methods in Computer Science
publication date: 2012-09-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6086018
zbMATH Keywords: multi-pushdown automata
zbMATH Keywords: program verification
zbMATH Keywords: LTL model-checking
MaRDI profile type: Publication
full work available at URL: lmcs-8(3:20)2012
OpenAlex ID: W2092618327
title: Model-checking of ordered multi-pushdown automata
description: scientific article; zbMATH DE number 6086018