Publication detail

Formal Specifications with Local Time Concept

ŠVÉDA, M.

Original Title

Formal Specifications with Local Time Concept

Type

article in a collection out of WoS and Scopus

Language

English

Authors

ŠVÉDA, M.

Released

1. 1. 1996

Publisher

unknown

Location

Edinburgh

ISBN

0-85296-664-4

Book

Proc. IEE Conf. WODES'96

Pages from

356

Pages to

361

Pages count

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