Detail publikačního výsledku

An Overview of Some Automated Tools for Formal Analysis and Verification

VOJNAR, T.

Originální název

An Overview of Some Automated Tools for Formal Analysis and Verification

Anglický název

An Overview of Some Automated Tools for Formal Analysis and Verification

Druh

Stať ve sborníku mimo WoS a Scopus

Autoři

VOJNAR, T.

Vydáno

01.01.1998

Nakladatel

Marq software s.r.o.

Místo

Krnov

ISBN

80-85988-26-7

Kniha

Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98

Svazek

1

Číslo

Acta MOS

Strany od

223

Strany do

228

Strany počet

6

URL

http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz

BibTex

@inproceedings{BUT191478,
  author="Tomáš {Vojnar}",
  title="An Overview of Some Automated Tools for Formal Analysis and
 Verification",
  booktitle="Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98",
  year="1998",
  volume="1",
  number="Acta MOS",
  pages="223--228",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-26-7",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz"
}