A. E. K. Sobel

From MaRDI portal
Person:1106012

Available identifiers

zbMath Open sobel.a-e-kMaRDI QIDQ1106012

List of research outcomes





PublicationDate of PublicationType
A proof system for distributed processes1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36786551985-01-01Paper

Research outcomes over time

This page was built for person: A. E. K. Sobel