DAWN-ILF-Tool Modelchecking Anwendung - Abdourahaman (2000)
Betr.: Dr. Ekkart Kindler ; Michael Weber