Entry Vardi:1996:RPV from chicjtheorcomputsci.bib

Last update: Sun Jul 23 02:00:24 MDT 2017                Valid HTML 3.2!

Index sections

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

BibTeX entry

@Article{Vardi:1996:RPV,
  author =       "Moshe Y. Vardi",
  title =        "Rank Predicates vs. Progress Measures in
                 Concurrent-Program Verification",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "9",
  month =        feb,
  year =         "1996",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/1/contents.html",
  acknowledgement = ack-nhfb,
}

Related entries