Antonina Nepeivoda
From MaRDI portal
Person:739637
Available identifiers
zbMath Open nepeivoda.antonina-nMaRDI QIDQ739637
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Ping-pong protocols as prefix grammars: modelling and verification via program transformation | 2016-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2856056 | 2013-10-23 | Paper |
| Verification of a technical system model with linear temporal logic | 2013-03-22 | 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: Antonina Nepeivoda
