BibTeX record journals/entcs/KanovichOS98

• > Home > journals/entcs/KanovichOS98

@inproceedings{DBLP:journals/entcs/KanovichOS98,
  author       = {Max I. Kanovich and
                  Mitsuhiro Okada and
                  Andre Scedrov},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Specifying Real-Time Finite-State Systems in Linear Logic},
  booktitle    = {Second Workshop on Concurrent Constraint Programming for Time Critical
                  Applications and Multi-Agent Systems, {COTIC} 1998, Satellite Workshop
                  of {CONCUR} 1998, Nice, France, September 7, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {16},
  number       = {1},
  pages        = {42--59},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80591-2},
  doi          = {10.1016/S1571-0661(05)80591-2},
  timestamp    = {Fri, 11 Nov 2022 14:28:09 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KanovichOS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}