%0 Generic
%T Lecture Notes in Computer Science: Cloud-Based Verification of Concurrent Software
%A Holzmann, Gerard J.
%I Springer Berlin Heidelberg
%@ 1611-3349
%@ 0302-9743
%D 2016
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation