scientific article; zbMATH DE number 1104391

zbMATH Open0885.68101MaRDI QIDQ4370275

Khadir Ouriachi, Jean-Marie Condom

Publication date: 1 April 1998

Title of this publication is not available (Why is that?)

zbMATH Keywords

real-time systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4370275)