Detail publikace

Formal Specifications with Local Time Concept

ŠVÉDA, M.

Originální název

Formal Specifications with Local Time Concept

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Autoři

ŠVÉDA, M.

Vydáno

1. 1. 1996

Nakladatel

unknown

Místo

Edinburgh

ISBN

0-85296-664-4

Kniha

Proc. IEE Conf. WODES'96

Strany od

356

Strany do

361

Strany počet

6

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