author = { TACAS 3 1997 Enschede Brinksma, Ed },

title = { Tools and algorithms for the construction and analysis of systems third International Workshop, TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997; proceedings },

publisher = {Springer},

isbn = {3540627901},

keywords = { System design Congresses , Computer software Development Congresses , Konferenzschrift 1997 Enschede , Verteiltes System , Systemtheorie },

year = {1997},

abstract = {Literaturangaben},

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

address = { Berlin },

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