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
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"
}
Back to top