Conference item
Model Checking Succinct and Parametric One−Counter Automata
Actions
Access Document
- Files:
-
-
(Preview, pdf, 253.2KB, Terms of use)
-
- Publisher copy:
- 10.1007/978-3-642-14162-1_48
Authors
Contributors
+ Abramsky, S
- Role:
- Editor
+ Gavoille, C
- Role:
- Editor
+ Kirchner, C
- Role:
- Editor
+ auf der Heide, F
- Role:
- Editor
+ Spirakis, P
- Role:
- Editor
- 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
- Copyright date:
- 2010
If you are the owner of this record, you can report an update to it here: Report update to this record