Publication Details

Formal Specifications with Local Time Concept

ŠVÉDA, M. Formal Specifications with Local Time Concept. Proc. IEE Conf. WODES'96. Edinburgh: unknown, 1996. p. 356-361. ISBN: 0-85296-664-4.

Type

conference paper

Language

English

Authors

Švéda Miroslav, prof. Ing., CSc. (UTKO)

Published

1996

Pages

356–361

Proceedings

Proc. IEE Conf. WODES'96

ISBN

0-85296-664-4

Publisher

unknown

Place

Edinburgh

BibTeX

@inproceedings{BUT191558,
  author="Miroslav {Švéda}",
  title="Formal Specifications with Local Time Concept",
  booktitle="Proc. IEE Conf. WODES'96",
  year="1996",
  pages="356--361",
  publisher="unknown",
  address="Edinburgh",
  isbn="0-85296-664-4"
}