%0
Generic
%T
Deadlockanalyse Service-orientierter Softwaresysteme
%A Weißbach, Mandy
%A Zimmermann, Wolf
%A Löwe, Welf
%I Universitäts- und Landesbibliothek Sachsen-Anhalt
%K Dienst
%K Verklemmung
%K Softwaresystem
%K Petri-Netz
%K Kaktuskeller
%K Process Rewrite System
%K Modellierung
%K Abstraktion
%K abstraktions-basiert
%K Deadlockanalyse
%K unbeschränkte Rekursion
%K unbeschränkte Nebenläufigkeit
%K Synchronisation
%K petri net
%K cactus stack
%K process rewrite system
%K modeling
%K abstraction-based
%K deadlock analysis
%K unbound recursion
%K unbound concurrency
%K synchronization
%D 2019
%C Universitäts- und Landesbibliothek Sachsen-Anhalt
%C Halle (Saale)
%U http://slubdd.de/katalog?TN_libero_mab2