Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen

TitleVerifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen
Publication TypeConference Proceedings
Year of Conference2000
AuthorsPinger, R.
Conference NameVisuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme
Pagination70-77
Date PublishedNovember
PublisherBericht 24/00 - I, Universität Münster
Abstract

no

Publicno