HDMS--A und OBSCURE in KORSO--- Die Funktionale Essenz von HDMS--A aus Sicht der algorithmischen Spezifikationsmethode --- TEIL 3: Spezifikation der atomaren Funktionen (bibtex)
by Christoph Benzmüller
Reference:
HDMS--A und OBSCURE in KORSO--- Die Funktionale Essenz von HDMS--A aus Sicht der algorithmischen Spezifikationsmethode --- TEIL 3: Spezifikation der atomaren Funktionen (Christoph Benzmüller), Technical report, Saarland University, SEKI Publications (ISSN 1437-4447), number A/06/93, pp. 1-59, 1993. (Url (preprint): http://christoph-benzmueller.de/papers/R2.pdf)
Bibtex Entry:
@techreport{R2,
  Annote =	 {<KORSO>, Heck III, siehe Ben93},
  Author =	 {Christoph Benzm{\"u}ller},
  Institution =	 {Saarland University, SEKI Publications (ISSN
                  1437-4447)},
  Number =	 {A/06/93},
  Pages =	 {1-59},
  Title =	 {{HDMS--A und OBSCURE in KORSO--- Die Funktionale
                  Essenz von HDMS--A aus Sicht der algorithmischen
                  Spezifikationsmethode --- TEIL 3: Spezifikation der
                  atomaren Funktionen}},
  Type =	 {Technischer Bericht},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/R2.pdf}},
  Year =	 1993,
}
Powered by bibtexbrowser