Equivalence checking in the presence of incompletely specified boxes (2002)

by Christoph Scholl , Bernd Becker
Venue: IN ITG/GI/GMM-WORKSHOP “METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN"
Citations:1 - 1 self