Decomposing timed push down automata
From MaRDI portal
Publication:2711326
zbMATH Open0976.68100MaRDI QIDQ2711326
Publication date: 24 April 2001
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Related Items (4)
Title not available (Why is that?) ⋮ Tinput-Driven Pushdown Automata ⋮ Timed Pushdown Automata Revisited ⋮ Title not available (Why is that?)
This page was built for publication: Decomposing timed push down automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2711326)