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