%0 Generic
%T Formal Aspects of Component Software: Guided Search for Deadlocks in Actor-Based Models
%A Sigurdarson, Steinar Hugi
%A Sirjani, Marjan
%A Björnsson, Yngvi
%A Reynisson, Arni Hermann
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2013
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation