%0
Book
%T
Simulation of transition systems with term rewriting systems
%A Buth, Karl-Heinz
%I Inst. für Informatik und Praktische Mathematik
%D 1992
%C Inst. für Informatik und Praktische Mathematik
%C Kiel
%U http://slubdd.de/katalog?TN_libero_mab2