4. KIC 2000: Parma, Italy

Refine list

showing all ?? records

Part One: Invited Talk

Part Two: Architecture

Part Three: Methodologies

Part Four: Tools

Part Five: Implementation

Part Six: Application

Part Seven: Formal Methods

Part Eight: Evolution

a service of  Schloss Dagstuhl - Leibniz Center for Informatics