Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/adt/Klaeren83
%A Klaeren, Herbert
%B ADT
%D 1983
%E Broy, Manfred
%E Wirsing, Martin
%I University of Passau
%K dblp
%T Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.
%U http://dblp.uni-trier.de/db/conf/adt/adt1983.html#Klaeren83
@inproceedings{conf/adt/Klaeren83,
added-at = {2019-07-19T00:00:00.000+0200},
author = {Klaeren, Herbert},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2677920917ea274bf3000623542adc047/dblp},
booktitle = {ADT},
crossref = {conf/adt/1983},
editor = {Broy, Manfred and Wirsing, Martin},
interhash = {e0b9b281bdf36132dc2e1dbbdbd9393c},
intrahash = {677920917ea274bf3000623542adc047},
keywords = {dblp},
publisher = {University of Passau},
timestamp = {2019-09-27T18:50:12.000+0200},
title = {Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.},
url = {http://dblp.uni-trier.de/db/conf/adt/adt1983.html#Klaeren83},
year = 1983
}
