Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube. Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. In Franz-Josef Rammig, Wolfgang Müller 0003, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998. pages 114-123, HNI-Verlagsschriften, 1998.
No references recorded for this publication.
No citations of this publication recorded.