scientific article; zbMATH DE number 1759429
From MaRDI portal
Publication:4536378
zbMath0996.68091MaRDI QIDQ4536378
Zhe Dang, Jianwen Su, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
Publication date: 25 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Eliminating the storage tape in reachability constructions. ⋮ Orchestrated session compliance ⋮ An automata-theoretic approach to constraint LTL ⋮ On store languages and applications ⋮ Generalized discrete timed automata: Decidable approximations for safety verification. ⋮ Semilinearity of Families of Languages ⋮ Counter machines and verification problems.
