REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES (Q51540658)
Jump to navigation
Jump to search
scientific article published in February 2013
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES |
scientific article published in February 2013 |
Statements
REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES (English)
0 references
February 2013
0 references
20
0 references
24
0 references
02
0 references
283-302
0 references