BibTeX record journals/toplas/BultanGP99

download as .bib file

@article{DBLP:journals/toplas/BultanGP99,
  author    = {Tevfik Bultan and
               Richard Gerber and
               William Pugh},
  title     = {Model-checking concurrent systems with unbounded integer variables:
               symbolic representations, approximations, and experimental results},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {21},
  number    = {4},
  pages     = {747--789},
  year      = {1999},
  url       = {http://doi.acm.org/10.1145/325478.325480},
  doi       = {10.1145/325478.325480},
  timestamp = {Wed, 26 Nov 2003 14:26:42 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/BultanGP99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier