REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES (Q2842001): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q51540658, #quickstatements; #temporary_batch_1712683168638 |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: Static analysis of IMC / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1142/s0129054113400121 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2101393622 / rank | |||
Normal rank | |||
Latest revision as of 11:06, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES |
scientific article |
Statements
REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES (English)
0 references
30 July 2013
0 references
reachability
0 references
process algebra
0 references
static analysis
0 references
Horn clauses
0 references
CSP
0 references
