%0 Journal Article
%T Model checking lattices: using and reasoning about information orders for abstraction
%A S Hazelhurst, C-JH Seger
%J Logic Journal of the IGPL
%V 7
%N 3
%@ 1367-0751
%D 1999-05-01
%I Oxford University Press
%~ DeepDyve