Entry Miller:2011:MCT from jsoftwmaintevol.bib

Last update: Sun Feb 4 02:03:07 MST 2018                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{Miller:2011:MCT,
  author =       "Keith Miller and Wendy MacCaull",
  title =        "Model checking timed properties of healthcare
                 processes",
  journal =      j-J-SOFTW-MAINT-EVOL,
  volume =       "23",
  number =       "4",
  pages =        "245--260",
  month =        jun,
  year =         "2011",
  CODEN =        "JSMECT",
  DOI =          "https://doi.org/10.1002/smr.527",
  ISSN =         "1532-060X (print), 1532-0618 (electronic)",
  ISSN-L =       "1532-060X",
  bibdate =      "Wed Jan 31 10:00:32 MST 2018",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/jsoftwmaintevol.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Journal of Software Maintenance and Evolution:
                 Research and Practice",
  journal-URL =  "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481",
}

Related entries