skip to content
A hierarchy of temporal properties Preview this item
ClosePreview this item
Checking...

A hierarchy of temporal properties

Author: Zohar Manna; A Pnueli; Stanford University. Computer Science Department.
Publisher: Stanford, CA : Dept. of Computer Science, 1987.
Series: Report (Stanford University. Computer Science Department), no. STAN-CS-87-1186.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Zohar Manna; A Pnueli; Stanford University. Computer Science Department.
OCLC Number: 19249634
Notes: Cover title.
"October 1987."
"The work of the first author was supported by the National Science Foundation under Grant DCR-84-13230 and by the Defense Advanced Research Projects Agency under Contract N00039-84-C-0211. The work of the second author was done during a visit to the University at Austin"--Page [1].
Description: 44 pages : illustrations ; 28 cm.
Series Title: Report (Stanford University. Computer Science Department), no. STAN-CS-87-1186.
Responsibility: by Zohar Manna and Amir Pnueli.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/19249634> # A hierarchy of temporal properties
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "19249634" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/21916957#Place/stanford_ca> ; # Stanford, CA
   schema:about <http://id.worldcat.org/fast/872448> ; # Computer programs--Verification
   schema:about <http://id.loc.gov/authorities/subjects/sh85029528> ; # Computer programs--Verification
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/149439760> ; # Stanford University. Computer Science Department.
   schema:contributor <http://viaf.org/viaf/59337776> ; # A. Pnueli
   schema:creator <http://viaf.org/viaf/91223528> ; # Zohar Manna
   schema:datePublished "1987" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/21916957> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21916957#Series/report_stanford_university_computer_science_dept> ; # Report / Stanford University. Computer Science Dept. ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21916957#Series/report_stanford_university_computer_science_department> ; # Report (Stanford University. Computer Science Department) ;
   schema:name "A hierarchy of temporal properties"@en ;
   schema:productID "19249634" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/19249634#PublicationEvent/stanford_ca_dept_of_computer_science_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/21916957#Agent/dept_of_computer_science> ; # Dept. of Computer Science
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/19249634> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/21916957#Agent/dept_of_computer_science> # Dept. of Computer Science
    a bgn:Agent ;
   schema:name "Dept. of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/21916957#Series/report_stanford_university_computer_science_department> # Report (Stanford University. Computer Science Department) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/19249634> ; # A hierarchy of temporal properties
   schema:name "Report (Stanford University. Computer Science Department) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/21916957#Series/report_stanford_university_computer_science_dept> # Report / Stanford University. Computer Science Dept. ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/19249634> ; # A hierarchy of temporal properties
   schema:name "Report / Stanford University. Computer Science Dept. ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029528> # Computer programs--Verification
    a schema:Intangible ;
   schema:name "Computer programs--Verification"@en ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
   schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/872448> # Computer programs--Verification
    a schema:Intangible ;
   schema:name "Computer programs--Verification"@en ;
    .

<http://viaf.org/viaf/149439760> # Stanford University. Computer Science Department.
    a schema:Organization ;
   schema:name "Stanford University. Computer Science Department." ;
    .

<http://viaf.org/viaf/59337776> # A. Pnueli
    a schema:Person ;
   schema:familyName "Pnueli" ;
   schema:givenName "A." ;
   schema:name "A. Pnueli" ;
    .

<http://viaf.org/viaf/91223528> # Zohar Manna
    a schema:Person ;
   schema:familyName "Manna" ;
   schema:givenName "Zohar" ;
   schema:name "Zohar Manna" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.