Detail publikace

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fuchs Alois, doc. Ing., CSc.
Kreslíková Jitka, doc. RNDr., CSc. (UIFS)
Rok
2000
Strany
59–61
Sborník
Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85-769121-0
Vydavatel
unknown
Místo
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"
}
Nahoru