Publication Details

Simulation or Verification?

DRÁBEK Vladimír. Simulation or Verification?. In: Zábřeh na Moravě, 1996, pp. 13-18. ISBN 80-85988-10-0.

Type

conference paper

Language

english

Authors

Drábek Vladimír, doc. Ing., CSc. (DCSE FEECS BUT)

Published

1996

Pages

13-18

ISBN

80-85988-10-0

Place

Zábřeh na Moravě, CZ

BibTeX

@INPROCEEDINGS{FITPUB5611,
   author = "Vladim\'{i}r Dr\'{a}bek",
   title = "Simulation or Verification?",
   pages = "13--18",
   year = 1996,
   location = "Z\'{a}b\v{r}eh na Morav\v{e}, CZ",
   ISBN = "80-85988-10-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5611"
}