BibTeX record journals/njc/Fecher01

download as .bib file

@article{DBLP:journals/njc/Fecher01,
  author       = {Harald Fecher},
  title        = {A Real-Time Process Algebra with Open Intervals and Maximal Progress},
  journal      = {Nord. J. Comput.},
  volume       = {8},
  number       = {3},
  pages        = {346--365},
  year         = {2001},
  url          = {http://www.cs.helsinki.fi/njc/References/fecher2001:346.html},
  timestamp    = {Wed, 14 Jan 2004 15:33:49 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/Fecher01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics