Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/pstv/KrummD84
%A Krumm, Heiko
%A Drobnik, Oswald
%B PSTV
%D 1984
%E Yemini, Yechiam
%E Strom, Robert E.
%E Yemini, Shaula
%I North-Holland
%K dblp
%P 31-45
%T Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.
%U http://dblp.uni-trier.de/db/conf/pstv/pstv1984.html#KrummD84
%@ 0-444-87676-6
@inproceedings{conf/pstv/KrummD84,
added-at = {2002-01-10T00:00:00.000+0100},
author = {Krumm, Heiko and Drobnik, Oswald},
biburl = {https://www.bibsonomy.org/bibtex/20298d3245c9db8d8cce781e7637e48bf/dblp},
booktitle = {PSTV},
crossref = {conf/pstv/1984},
date = {2002-01-10},
description = {dblp},
editor = {Yemini, Yechiam and Strom, Robert E. and Yemini, Shaula},
interhash = {b4ec989d6ec946cac05b4a5cab1cf9da},
intrahash = {0298d3245c9db8d8cce781e7637e48bf},
isbn = {0-444-87676-6},
keywords = {dblp},
pages = {31-45},
publisher = {North-Holland},
timestamp = {2002-01-10T00:00:00.000+0100},
title = {Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.},
url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1984.html#KrummD84},
year = 1984
}