Publication Details

Toward A Unified Formal Model of CBS

FUCHS Alois and KRESLÍKOVÁ Jitka. Toward A Unified Formal Model of CBS. In: Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000, pp. 59-61. ISBN 1-85-769121-0.

Type

conference paper

Language

english

Authors

Fuchs Alois, Doc. Ing., CSc. (FEECS BUT)
Kreslíková Jitka, RNDr., CSc (DCSE FEECS BUT)

Published

2000

Pages

59-61

Proceedings

Joint Workshop on Formal Specifications of Computer-Based Systems

ISBN

1-85-769121-0

Place

Edinburgh, GB

BibTeX

@INPROCEEDINGS{FITPUB6063,
   author = "Alois Fuchs and Jitka Kresl\'{i}kov\'{a}",
   title = "Toward A Unified Formal Model of CBS",
   pages = "59--61",
   booktitle = "Joint Workshop on Formal Specifications of Computer-Based Systems",
   year = 2000,
   location = "Edinburgh, GB",
   ISBN = "1-85-769121-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6063"
}