Standard
Round-trip engineering of reactive systems. / Koznov, D.; Kartachev, M.; Zvereva, V.; Gagarsky, R.; Barsov, A.
Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346.. 2004.
Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology
Harvard
Koznov, D, Kartachev, M, Zvereva, V, Gagarsky, R & Barsov, A 2004,
Round-trip engineering of reactive systems. in
Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346..
APA
Koznov, D., Kartachev, M., Zvereva, V., Gagarsky, R., & Barsov, A. (2004).
Round-trip engineering of reactive systems. In
Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346.
Vancouver
Koznov D, Kartachev M, Zvereva V, Gagarsky R, Barsov A.
Round-trip engineering of reactive systems. In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346.. 2004
Author
Koznov, D. ; Kartachev, M. ; Zvereva, V. ; Gagarsky, R. ; Barsov, A. /
Round-trip engineering of reactive systems. Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346.. 2004.
BibTeX
@inbook{506590fdca4a4d6593d5d9a1a9574a43,
title = "Round-trip engineering of reactive systems",
author = "D. Koznov and M. Kartachev and V. Zvereva and R. Gagarsky and A. Barsov",
year = "2004",
language = "не определен",
booktitle = "Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346.",
}
RIS
TY - CHAP
T1 - Round-trip engineering of reactive systems
AU - Koznov, D.
AU - Kartachev, M.
AU - Zvereva, V.
AU - Gagarsky, R.
AU - Barsov, A.
PY - 2004
Y1 - 2004
M3 - статья в сборнике
BT - Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346.
ER -
