Jerry R. Burch
From MaRDI portal
Person:1076508
Available identifiers
zbMath Open burch.jerry-rMaRDI QIDQ1076508
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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/Q4037387 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037093 | 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
This page was built for person: Jerry R. Burch
