View in EDS

Formal verification: will the seedling ever flower?

Saved in:
Bibliographic Details
Title: Formal verification: will the seedling ever flower?
Authors: White N; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK neil.white@altran.com., Matthews S; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK., Chapman R; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK.
Source: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences [Philos Trans A Math Phys Eng Sci] 2017 Oct 13; Vol. 375 (2104).
Publication Type: Journal Article
Journal Info: Publisher: The Royal Society Country of Publication: England NLM ID: 101133385 Publication Model: Print Cited Medium: Print ISSN: 1364-503X (Print) Linking ISSN: 1364503X NLM ISO Abbreviation: Philos Trans A Math Phys Eng Sci Subsets: PubMed not MEDLINE
Database: MEDLINE Ultimate
FullText Text:
  Availability: 0
Header DbId: mdl
DbLabel: MEDLINE Ultimate
An: 28871051
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal verification: will the seedling ever flower?
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22White+N%22">White N</searchLink>; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK neil.white@altran.com.<br /><searchLink fieldCode="AU" term="%22Matthews+S%22">Matthews S</searchLink>; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK.<br /><searchLink fieldCode="AU" term="%22Chapman+R%22">Chapman R</searchLink>; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK.
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22101133385%22">Philosophical transactions. Series A, Mathematical, physical, and engineering sciences</searchLink> [Philos Trans A Math Phys Eng Sci] 2017 Oct 13; Vol. 375 (2104).
– Name: TypePub
  Label: Publication Type
  Group: TypPub
  Data: Journal Article
– Name: TitleSource
  Label: Journal Info
  Group: Src
  Data: <i>Publisher: </i><searchLink fieldCode="PB" term="%22The+Royal+Society%22">The Royal Society </searchLink><i>Country of Publication: </i>England <i>NLM ID: </i>101133385 <i>Publication Model: </i>Print <i>Cited Medium: </i>Print <i>ISSN: </i>1364-503X (Print) <i>Linking ISSN: </i><searchLink fieldCode="IS" term="%221364503X%22">1364503X </searchLink><i>NLM ISO Abbreviation: </i>Philos Trans A Math Phys Eng Sci <i>Subsets: </i>PubMed not MEDLINE
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=mdl&AN=28871051
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1098/rsta.2015.0402
    Languages:
      – Code: eng
        Text: English
    Titles:
      – TitleFull: Formal verification: will the seedling ever flower?
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: White N
      – PersonEntity:
          Name:
            NameFull: Matthews S
      – PersonEntity:
          Name:
            NameFull: Chapman R
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 13
              M: 10
              Text: 2017 Oct 13
              Type: published
              Y: 2017
          Identifiers:
            – Type: issn-print
              Value: 1364-503X
          Numbering:
            – Type: volume
              Value: 375
            – Type: issue
              Value: 2104
          Titles:
            – TitleFull: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
              Type: main
ResultId 1