Deciding Full Branching Time Logic by Program Transformation (Q3558281)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding Full Branching Time Logic by Program Transformation |
scientific article |
Statements
Deciding Full Branching Time Logic by Program Transformation (English)
0 references
4 May 2010
0 references
