Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (One intermediate revision by one other user not shown) | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1811746816 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The B-Book / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4023588 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2746874 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2724177 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4436964 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3777424 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: CSP theorems for communicating B machines / rank | |||
Normal rank | |||
Latest revision as of 01:40, 29 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B |
scientific article |
Statements
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (English)
0 references
24 February 2009
0 references
