%0 Generic
%T Automated Technology for Verification and Analysis: Modal Transition Systems: Composition and LTL Model Checking
%A Beneš, Nikola
%A Černá, Ivana
%A Křetínský, Jan
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2011
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation