Title | Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen |
Publication Type | Conference Proceedings |
Year of Conference | 2000 |
Authors | Pinger, R. |
Conference Name | Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme |
Pagination | 70-77 |
Date Published | November |
Publisher | Bericht 24/00 - I, Universität Münster |
Abstract | no |
Public | no |