[sv-ac] LTL - precedence

From: Bustan, Doron <doron.bustan_at_.....>
Date: Mon Jan 14 2008 - 05:54:21 PST

Hi John, Johan,

 

Have you reached an agreement on the operators' precedence?

 

thanks

 

Doron


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

Received on Mon Jan 14 05:55:25 2008

This message: [ Message body ]
Next message: John Havlicek: "[sv-ac] some thoughts on non-vacuity"
Previous message: Bustan, Doron: "[sv-ac] RE: JH comments on 1932 Annex F changes"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Mon Jan 14 2008 - 05:55:38 PST