Publication Details
Formal Specifications with Local Time Concept
ŠVÉDA Miroslav. Formal Specifications with Local Time Concept. In: Proc. IEE Conf. WODES'96. Edinburgh: unknown, 1996, pp. 356-361. ISBN 0-85296-664-4.
Type
conference paper
Language
english
Authors
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)
Published
1996
Pages
356-361
Proceedings
Proc. IEE Conf. WODES'96
ISBN
0-85296-664-4
Place
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" }