scientific article; zbMATH DE number 1500642
From MaRDI portal
Publication:4501664
zbMATH Open0958.68087MaRDI QIDQ4501664FDOQ4501664
Authors: Deepak D'Souza, P. S. Thiagarajan 
Publication date: 4 September 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (5)
- A survey of timed automata for the development of real-time systems
- Diagnosis of timed patterns for discrete event systems by means of state isolation
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm
- Automata and Logics for Timed Message Sequence Charts
- Product interval automata
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 Q4501664)
