%0 Book
%T Theoretical aspects of computing - ICTAC 2007 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings
%A ICTAC 4 2007 Macau
%A Jones, Cliff B.
%A Liu, Zhiming
%A Woodcock, Jones
%I Springer
%@ 3540752900
%@ 9783540752905
%K Electronic data processing Congresses
%K Information theory Congresses
%K Konferenzschrift
%K Konferenzschrift 2007 Macao
%K Theoretische Informatik
%K Model Checking
%K Systementwicklung
%K Formale Methode
%K Softwareentwicklung
%K Komponente Software
%K Nebenläufigkeit
%K Verteilte Programmierung
%D 2007
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation