%0
Generic
%T
Recent Trends in Algebraic Development Techniques: Quantitative Modal Transition Systems : (Invited Extended Abstract)
(Invited Extended Abstract)
%A Larsen, Kim G.
%A Legay, Axel
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2013
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2