Entry Holzmann:2000:SVB from bstj2000.bib

Last update: Sun Oct 15 02:05:00 MDT 2017                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Holzmann:2000:SVB,
  author =       "Gerard J. Holzmann",
  title =        "Software verification at {Bell Labs}: {One} line of
                 development",
  journal =      j-BELL-LABS-TECH-J,
  volume =       "5",
  number =       "1",
  pages =        "35--45",
  month =        "Spring",
  year =         "2000",
  CODEN =        "BLTJFD",
  DOI =          "https://doi.org/10.1002/bltj.2206",
  ISSN =         "1089-7089 (print), 1538-7305 (electronic)",
  ISSN-L =       "1089-7089",
  bibdate =      "Fri Nov 26 17:31:28 MST 2010",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/bstj2000.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Bell Labs Technical Journal",
  journal-URL =  "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1538-7305/issues/",
  onlinedate =   "14 Aug 2002",
}

Related entries