%0 Generic
%T Practical CTL * model checking: Should SPIN be extended?
%A Visser, Willem
%A Barringer, Howard
%I Springer Science and Business Media LLC
%@ 1433-2779
%@ 1433-2787
%K Information Systems
%K Software
%D 2000
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation