Added | 08 Aug 2010 |
Updated | 08 Aug 2010 |
Type | Conference |
Year | 1997 |
Where | TACAS |
Authors | Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen |