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