Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking (Q3190126)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking |
scientific article |
Statements
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking (English)
0 references
15 September 2014
0 references
