@inproceedings{atig:LIPIcs:2010:2865,
Address = {Dagstuhl, Germany},
Annote = {Keywords: Concurrent Programs, Pushdown Systems, Global Model-Checking},
Author = {Atig, Mohamed Faouzi},
BookTitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)},
Editor = {Lodaya, Kamal and Mahajan, Meena},
File = {Global Model Checking of Ordered Multi-Pushdown Systems - Atig (0) (0) - a - a - i.pdf},
ISBN = {978-3-939897-23-1},
ISSN = {1868-8969},
Keywords = {multi-pushdown automata},
Pages = {216--227},
Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
Title = {{Global Model Checking of Ordered Multi-Pushdown Systems}},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2865},
Volume = {8},
Year = {2010},
bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2010/2865},
bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.216},
date-added = {2012-11-25 17:50:30 +0000},
date-modified = {2012-11-25 17:59:03 +0000},
urn = {urn:nbn:de:0030-drops-28653},
doi = {10.4230/LIPIcs.FSTTCS.2010.216}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A