Publication Details

Local-Time Specification Concepts

ŠVÉDA Miroslav. Local-Time Specification Concepts. In: Collection of Abstracts: IFIP Workshop on CAST and Computer Systems Technology. Innsbruck: unknown, 1995, pp. 1-3.

Type

conference paper

Language

english

Authors

Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)

Published

1995

Pages

1-3

Proceedings

Collection of Abstracts: IFIP Workshop on CAST and Computer Systems Technology

Place

Innsbruck, AT

BibTeX

@INPROCEEDINGS{FITPUB6467,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Local-Time Specification Concepts",
   pages = "1--3",
   booktitle = "Collection of Abstracts: IFIP Workshop on CAST and Computer Systems Technology",
   year = 1995,
   location = "Innsbruck, AT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6467"
}