Available identifiers
zbMath Open burch.jerry-rMaRDI QIDQ1076508
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Refinement preserving approximations for the design and verification of heterogeneous systems | 2007-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473735 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037093 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037387 | 1993-05-18 | Paper |
| Symbolic model checking: \(10^{20}\) states and beyond | 1992-09-27 | Paper |
| Fair mutual exclusion with unfair P and V operations | 1985-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Jerry R. Burch
