BibTeX record journals/jsc/SaraswatJG96

download as .bib file

@article{DBLP:journals/jsc/SaraswatJG96,
  author    = {Vijay A. Saraswat and
               Radha Jagadeesan and
               Vineet Gupta},
  title     = {Timed Default Concurrent Constraint Programming},
  journal   = {J. Symb. Comput.},
  volume    = {22},
  number    = {5/6},
  pages     = {475--520},
  year      = {1996}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics