Další formáty:
BibTeX
LaTeX
RIS
@inbook{190088,
author = {Gruska, Jozef and Guessarian, I.},
address = {Hamburg},
booktitle = {Procedings of IFIP Congress´94,INFORMATION PROCESSING´94},
language = {eng},
location = {Hamburg},
pages = {213-234},
publisher = {IFIP},
title = {Fix-point semantics of synchronized systems and correctness of their basic transformationsa.},
year = {1994}
}
TY - CHAP
ID - 190088
AU - Gruska, Jozef - Guessarian, I.
PY - 1994
TI - Fix-point semantics of synchronized systems and correctness of their basic transformationsa.
PB - IFIP
CY - Hamburg
ER -
GRUSKA, Jozef a I. GUESSARIAN. Fix-point semantics of synchronized systems and correctness of their basic transformationsa. In \textit{Procedings of IFIP Congress´94,INFORMATION PROCESSING´94}. Hamburg: IFIP, 1994, s.~213-234.
|
