Result 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.

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

Research groups

Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)

Departments

Faculty of Information Technology (FIT)