Erich Joho

Verfahren zur rechnerunterstützten Untersuchung zeitlicher Abläufe in Entwurfsspezifikationen