Result Details

Simulation or Verification?

DRÁBEK, V. Simulation or Verification?. Zábřeh na Moravě: 1996. p. 13-18. ISBN: 80-85988-10-0.

Type

conference paper

Language

English

Authors

Drábek Vladimír, doc. Ing., CSc.

Published

1996

Pages

13–18

ISBN

80-85988-10-0

Place

Zábřeh na Moravě

BibTeX

@inproceedings{BUT192321,
  author="Vladimír {Drábek}",
  title="Simulation or Verification?",
  year="1996",
  pages="13--18",
  address="Zábřeh na Moravě",
  isbn="80-85988-10-0"
}

Research groups

Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)

Departments

Faculty of Information Technology (FIT)