Conference item icon

Conference item

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks

Actions


Authors


Publication date:
2013-01-01
URN:
uuid:fb37b5b2-598a-4c58-a263-f68fe305ad7c
Local pid:
cs:7242

Terms of use


Metrics


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