Publication Details
Toward A Unified Formal Model of CBS
FUCHS, A.; KRESLÍKOVÁ, J. Toward A Unified Formal Model of CBS. Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000. p. 59-61. ISBN: 1-85-769121-0.
Type
conference paper
Language
English
Authors
Fuchs Alois, doc. Ing., CSc.
Kreslíková Jitka, doc. RNDr., CSc. (DIFS)
Kreslíková Jitka, doc. RNDr., CSc. (DIFS)
Published
2000
Pages
59–61
Proceedings
Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85-769121-0
Publisher
unknown
Place
Edinburgh
BibTeX
@inproceedings{BUT191901,
author="Alois {Fuchs} and Jitka {Kreslíková}",
title="Toward A Unified Formal Model of CBS",
booktitle="Joint Workshop on Formal Specifications of Computer-Based Systems",
year="2000",
pages="59--61",
publisher="unknown",
address="Edinburgh",
isbn="1-85-769121-0"
}