%0 Generic
%T Logic, Computation and Rigorous Methods: Moded and Continuous Abstract State Machines
%A Banach, Richard
%A Zhu, Huibiao
%I Springer International Publishing
%@ 0302-9743
%@ 1611-3349
%D 2021
%C Springer International Publishing
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation