%0 Conference Proceedings
%F vardi93
%A Vardi, Moshe Y.
%T Nontraditional Applications of Automata Theory
%B Proc. Int'l Symp. on Theoretical Aspects of Computer Software (TACS)
%E Hagiya, Masami
%E Mitchell, John C.
%V 789
%P 575-597
%S Lecture Notes in Computer Science (LNCS)
%I Springer
%C Sendai, Japan
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/vardi1994.ps
%8 April
%D 1994
%K algexp