G. Gruita

From MaRDI portal
Person:1388093

Available identifiers

zbMath Open gruita.gMaRDI QIDQ1388093

List of research outcomes





PublicationDate of PublicationType
Design of the real time systems using temporal logic specifications: A case study1998-10-01Paper

Research outcomes over time

This page was built for person: G. Gruita