Conference item icon

Conference item

Model Checking Succinct and Parametric One−Counter Automata

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-642-14162-1_48
Publisher:
Springer
Host title:
Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP'10)‚ Track B (Part II)
Volume:
6199
Publication date:
2010-07-01
DOI:
UUID:
uuid:d521091c-e733-4c55-9314-642f18c7cd37
Local pid:
cs:3563
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP