Connexions

Sections
You are here: Home » Content » Using Temporal Logic to Specify Properties: Homework Exercises

About: Using Temporal Logic to Specify Properties: Homework Exercises

Module by: John Greiner, Ian Barland, Moshe Vardi. E-mail the authors

View content

Metadata

Name: Using Temporal Logic to Specify Properties: Homework Exercises
ID: m12940
Language: English (en)
Summary:
Subject: Mathematics and Statistics, Science and Technology
Keywords:
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License CC-BY 2.0
Authors: John Greiner (greiner@cs.rice.edu), Ian Barland (ibarland@radford.edu), Moshe Vardi (vardi@cs.rice.edu)
Copyright Holders: John Greiner (greiner@cs.rice.edu), Ian Barland (ibarland@radford.edu), Moshe Vardi (vardi@cs.rice.edu)
Maintainers: John Greiner (greiner@cs.rice.edu), Ian Barland (ibarland@radford.edu), Moshe Vardi (vardi@cs.rice.edu)
Latest version: 1.3 (history)
First publication date: May 9, 2005 8:51 am GMT-5
Last revision to module: Oct 6, 2005 3:45 pm GMT-5
Module XML: m12940_1.3.cnxml

Version History

Version: 1.3 Oct 6, 2005 3:45 pm GMT-5 by John Greiner
Changes: 
minor edit
Version: 1.2 Aug 17, 2005 10:27 am GMT-5 by John Greiner
Changes: 
blah
Version: 1.1 Jul 26, 2005 6:33 pm GMT-5 by John Greiner
Changes: 
First version.

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 2.0), you must include

  • the authors' names: John Greiner, Ian Barland, Moshe Vardi
  • the title of the work: Using Temporal Logic to Specify Properties: Homework Exercises
  • the Connexions URL where the work can be found: http://cnx.org/content/m12940/1.3/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 2.0) of this work:

American Chemical Society (ACS) Style Guide:

Greiner, J.; Barland, I.; Vardi, M. Using Temporal Logic to Specify Properties: Homework Exercises, Connexions Web site. http://cnx.org/content/m12940/1.3/, Oct 6, 2005.

American Medical Assocation (AMA) Manual of Style:

Greiner J, Barland I, Vardi M. Using Temporal Logic to Specify Properties: Homework Exercises [Connexions Web site]. October 6, 2005. Available at: http://cnx.org/content/m12940/1.3/.

American Psychological Assocation (APA) Publication Manual:

Greiner, J., Barland, I., & Vardi, M. (2005, October 6). Using Temporal Logic to Specify Properties: Homework Exercises. Retrieved from the Connexions Web site: http://cnx.org/content/m12940/1.3/

Chicago Manual of Style (Bibliography):

Greiner, John, Ian Barland, and Moshe Vardi. "Using Temporal Logic to Specify Properties: Homework Exercises." Connexions. October 6, 2005. http://cnx.org/content/m12940/1.3/.

Chicago Manual of Style (Note):

John Greiner, Ian Barland, and Moshe Vardi, "Using Temporal Logic to Specify Properties: Homework Exercises," Connexions, October 6, 2005, http://cnx.org/content/m12940/1.3/.

Chicago Manual of Style (Reference, in Author-Date style):

Greiner, J., Barland, I., & Vardi, M. 2005. Using Temporal Logic to Specify Properties: Homework Exercises. Connexions, October 6, 2005. http://cnx.org/content/m12940/1.3/.

Modern Languages Association (MLA) Style Manual:

Greiner, John, Ian Barland, and Moshe Vardi. Using Temporal Logic to Specify Properties: Homework Exercises. Connexions. 6 Oct. 2005 <http://cnx.org/content/m12940/1.3/>.