Integrating Formal Description Techniques (1999)

by Bernhard Schätz , Franz Huber , Fakultt Fr Informatik , Technische Universitt Mnchen
Citations:16 - 5 self