Publication result detail

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

DVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J.

Original Title

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

English Title

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

Type

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

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

English abstract

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

Keywords

Formal specifications, Computer-based systems

Key words in English

Formal specifications, Computer-based systems

Authors

DVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J.

Released

06.01.2004

Book

Journal of Universal Computer Science

ISBN

0948-6968

Periodical

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

Volume

9

Number

11

State

Republic of Austria

Pages from

1258

Pages to

1260

Pages count

3

BibTex

@article{BUT45713,
  author="Václav {Dvořák} and 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="9",
  number="11",
  pages="1258--1260",
  issn="0948-695X"
}