Saturation algorithms for model-checking pushdown systems. / Hague, Matthew; Carayol, Arnaud.
Proceedings of the 14th International Conference on Automata and Formal Languages . 2014.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 267 KB, PDF document
Original language | English |
---|---|
Title of host publication | Proceedings of the 14th International Conference on Automata and Formal Languages |
Number of pages | 24 |
DOIs | |
Publication status | Published - May 2014 |
Project: Research
ID: 20135178