Detail publikace

Toward A Unified Formal Model of CBS

FUCHS Alois a KRESLÍKOVÁ Jitka. Toward A Unified Formal Model of CBS. In: Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: neznámá, 2000, s. 59-61. ISBN 1-85-769121-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rok
2000
Strany
59-61
Sborník
Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85-769121-0
Vydavatel
neznámá
Místo
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"
}
Nahoru