Adding propositional scopes to linear temporal logic : rapport technique /
May Haydar ... [et al.].
- Montréal : Centre de recherche informatique de Montréal, 1971.
- 24 p. : ill. ; 28 cm.
- Collection scientifique et technique ; CRIM-05/05-06 .
"CRIM-Documentation/Communication".
Includes bibliographical references: leaves 22-24.
2895220611
2006389410
MLCM 2006/41763
"CRIM-Documentation/Communication".
Includes bibliographical references: leaves 22-24.
2895220611
2006389410
MLCM 2006/41763