%0 Journal Article
%A Graf, Susanne
%T On Lamport's comparison between linear and branching time temporal logic
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1984
%P 345-353
%V 18
%N 4
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1984__18_4_345_0/
%G en
%F ITA_1984__18_4_345_0