scientific article; zbMATH DE number 516988
From MaRDI portal
Publication:4282505
zbMath0793.68102MaRDI QIDQ4282505
Anatoli N. Chebotarev, Marina K. Morokhovets
Publication date: 17 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
real-time systemscompletiondiscrete timeresolutionspecification languageconsistency checkingdeterministic cyclic automata specification
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Resolution-based approach to compatibility analysis of interacting automata ⋮ Glushkov's evidence algorithm
This page was built for publication: