Rechnergestützte Umsetzung von EPOS-Spezifikationen in PEARL-Programme. - Erich Joho; Silvije Jovalekic (Fachtagung Prozessrechner, 1981)

Verfahren zur rechnerunterstützten Untersuchung zeitlicher Abläufe in Entwurfsspezifikationen. - Erich Joho (1987)