Detail publikace

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Rok
1996
Strany
356–361
Sborník
Proc. IEE Conf. WODES'96
ISBN
0-85296-664-4
Vydavatel
unknown
Místo
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"
}
Nahoru