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