Overview

authors

• Haarslev, Volker

publication date

• January 1, 2000

has subject area

• architecture
• computer science

published in

• Lecture Notes in Computer Science