Thesis icon

Thesis

Saturation Methods for Global Model−Checking Pushdown Systems

Actions


Authors


Publication date:
2009
URN:
uuid:356149f8-70f0-4190-81f3-35a59e129483
Local pid:
cs:2877

Terms of use


Metrics



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

TO TOP