N. Ege Saraç

From MaRDI portal
Person:5145313

Available identifiers

zbMath Open sarac.n-egeMaRDI QIDQ5145313

List of research outcomes





PublicationDate of PublicationType
Regular methods for operator precedence languages2024-11-14Paper
Quantitative safety and liveness2023-11-24Paper
A theory of register monitors2021-01-20Paper

Research outcomes over time

This page was built for person: N. Ege Saraç