Adding propositional scopes to linear temporal logic
Subtitle: rapport technique
By: May Haydar ... [et al.].
Contributors: Centre de recherche informatique de Montréal
Series: Collection scientifique et technique -- CRIM-05/05-06
Publisher: Centre de recherche informatique de Montréal
Published: 2005
Place of publication: Montréal
Language: eng
Number of pages: 24
Notes: "CRIM-Documentation/Communication".

Includes bibliographical references: leaves 22-24.