Detail publikace

Simulation or Verification?

DRÁBEK Vladimír. Simulation or Verification?. In: Zábřeh na Moravě, 1996, s. 13-18. ISBN 80-85988-10-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rok
1996
Strany
13-18
ISBN
80-85988-10-0
Místo
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"
}
Nahoru