scientific article; zbMATH DE number 1500642
From MaRDI portal
Publication:4501664
zbMath0958.68087MaRDI QIDQ4501664
P. S. Thiagarajan, Deepak D'Souza
Publication date: 4 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (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:
