Entry Dong:1999:FLP from lncs1999a.bib

Last update: Sun Jun 12 03:08:01 2016                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | 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{Dong:1999:FLP,
  author =       "Yifei Dong and Xiaoqun Du and Y. S. Ramakrishna and C.
                 R. Ramakrishnan and I. V. Ramakrishnan and Scott A.
                 Smolka and Oleg Sokolsky and Eugene W. Stark and David
                 S. Warren",
  title =        "Fighting Livelock in the $i$-Protocol: {A} Comparative
                 Study of Verification Tools",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1579",
  pages =        "74--88",
  year =         "1999",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Feb 5 11:53:53 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t1579.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs1999a.bib",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/1579/15790074.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/1579/15790074.pdf",
  acknowledgement = ack-nhfb,
  keywords =     "algorithms; ETAPS; TACAS; tools",
}

Related entries