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" }