%0 Book
%T Verification and specification of concurrent programs
%A Hooman, Jozef J.
%A Roever, Willem-Paul de
%I Inst. für Informatik und Praktische Mathematik
%D 1991
%C Inst. für Informatik und Praktische Mathematik
%C Kiel
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation