author = { ICTAC 4 2007 Macau Jones, Cliff B. AND Liu, Zhiming AND Woodcock, Jones },

title = { Theoretical aspects of computing - ICTAC 2007 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings },

publisher = {Springer},

isbn = {3540752900},

isbn = {9783540752905},

keywords = { Electronic data processing Congresses , Information theory Congresses , Konferenzschrift , Konferenzschrift 2007 Macao , Theoretische Informatik , Model Checking , Systementwicklung , Formale Methode , Softwareentwicklung , Komponente Software , Nebenläufigkeit , Verteilte Programmierung },

year = {2007},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 4711},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }