Detail publikace
Formal Specifications with Local Time Concept
ŠVÉDA Miroslav. Formal Specifications with Local Time Concept. In: Proc. IEE Conf. WODES'96. Edinburgh: neznámá, 1996, s. 356-361. ISBN 0-85296-664-4.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
Rok
1996
Strany
356-361
Sborník
Proc. IEE Conf. WODES'96
ISBN
0-85296-664-4
Vydavatel
neznámá
Místo
Edinburgh, GB
BibTeX
@INPROCEEDINGS{FITPUB6471, author = "Miroslav \v{S}v\'{e}da", title = "Formal Specifications with Local Time Concept", pages = "356--361", booktitle = "Proc. IEE Conf. WODES'96", year = 1996, location = "Edinburgh, GB", ISBN = "0-85296-664-4", language = "english", url = "https://www.fit.vut.cz/research/publication/6471" }