Other formats:
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 and 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, p.~213-234.
|