%0 Journal Article
%A Buntrock, G.
%A Drewes, F.
%A Lautemann, C.
%A Mossakowski, T.
%T Some modifications of auxiliary pushdown automata
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1991
%P 545-556
%V 25
%N 6
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1991__25_6_545_0/
%G en
%F ITA_1991__25_6_545_0