Is LTL a subset of ACTL*?

From: Roopak Sinha (rsin077_at_ec.auckland.ac.nz)
Date: Mon Apr 25 2005 - 14:00:53 MDT

• Next message: Ian Harris: "Re: Is LTL a subset of ACTL*?"
• Previous message: goparaju_at_engr.siu.edu: "(no subject)"
• Next in thread: Ian Harris: "Re: Is LTL a subset of ACTL*?"
• Reply: Ian Harris: "Re: Is LTL a subset of ACTL*?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

We are planning to do some experiments with NuSMV, but need the answer to this
very basic question. Could someone help us?

Regards
Roopak

• Next message: Ian Harris: "Re: Is LTL a subset of ACTL*?"
• Previous message: goparaju_at_engr.siu.edu: "(no subject)"
• Next in thread: Ian Harris: "Re: Is LTL a subset of ACTL*?"
• Reply: Ian Harris: "Re: Is LTL a subset of ACTL*?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Mon Apr 25 2005 - 14:04:52 MDT