Detail publikačního výsledku

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J.

Originální název

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

Anglický název

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

Introduction to the Special Issue of Journal of Universal Computer Science related to the 5th Workshop on Formal Specification of Computer-Based Systems

Anglický abstrakt

Introduction to the Special Issue of Journal of Universal Computer Science related to the 5th Workshop on Formal Specification of Computer-Based Systems

Klíčová slova

Formal specifications, Computer-based systems

Klíčová slova v angličtině

Formal specifications, Computer-based systems

Autoři

ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J.

Vydáno

25.11.2004

Kniha

Journal of Universal Computer Science

ISSN

0948-6968

Periodikum

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

Svazek

10

Číslo

10

Stát

Rakouská republika

Strany od

1354

Strany do

1356

Strany počet

3

BibTex

@article{BUT45736,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
  journal="JOURNAL OF UNIVERSAL COMPUTER SCIENCE",
  year="2004",
  volume="10",
  number="10",
  pages="1354--1356",
  issn="0948-695X"
}