D. Koznov, M. Katrashov, G. Gagarsky, V. Zvereva, and A. Barsov. ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 343-347. Department of Computer Science, University of Cyprus, (2004)
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/isola/KoznovKGZB04
%A Koznov, Dmitrij V.
%A Katrashov, Maxim
%A Gagarsky, Goman
%A Zvereva, Vera A.
%A Barsov, Alexey
%B ISoLA (Preliminary proceedings)
%D 2004
%E Margaria, Tiziana
%E Steffen, Bernhard
%E Philippou, Anna
%E Reitenspieß, Manfred
%I Department of Computer Science, University of Cyprus
%K dblp
%P 343-347
%T Round-trip engineering of reactive systems.
%U http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#KoznovKGZB04
%V TR-2004-6
@inproceedings{conf/isola/KoznovKGZB04,
added-at = {2019-12-11T00:00:00.000+0100},
author = {Koznov, Dmitrij V. and Katrashov, Maxim and Gagarsky, Goman and Zvereva, Vera A. and Barsov, Alexey},
biburl = {https://www.bibsonomy.org/bibtex/2fb4753ead792e8e26be96ee2f4cb7aba/dblp},
booktitle = {ISoLA (Preliminary proceedings)},
crossref = {conf/isola/2004i},
editor = {Margaria, Tiziana and Steffen, Bernhard and Philippou, Anna and Reitenspieß, Manfred},
interhash = {0a3d494f507ca8478f18f40703d928ca},
intrahash = {fb4753ead792e8e26be96ee2f4cb7aba},
keywords = {dblp},
pages = {343-347},
publisher = {Department of Computer Science, University of Cyprus},
series = {Technical Report},
timestamp = {2019-12-12T11:42:30.000+0100},
title = {Round-trip engineering of reactive systems.},
url = {http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#KoznovKGZB04},
volume = {TR-2004-6},
year = 2004
}
