Conference
Προβολή σε EDS

Proving proof rules: a proof system for concurrent programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Proving proof rules: a proof system for concurrent programs
Συγγραφείς: Goldschlag, D.M.
Πηγή: Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on. :95-101 1990
Relation: Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security
Βάση Δεδομένων: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.175405
RelevancyScore: 933
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 933.149658203125
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Proving proof rules: a proof system for concurrent programs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Goldschlag%2C+D%2EM%2E%22">Goldschlag, D.M.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on. :95-101 1990
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.175405
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/CMPASS.1990.175405
    PhysicalDescription:
      Pagination:
        PageCount: 7
        StartPage: 95
    Titles:
      – TitleFull: Proving proof rules: a proof system for concurrent programs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Goldschlag, D.M.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1990
          Identifiers:
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security., Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on
              Type: main
ResultId 1