.gif)
Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen
| 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 |