Detail publikace

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Autoři

VOJNAR, T.

Vydáno

1. 1. 1998

Místo

Krnov

ISBN

80-85988-26-7

Kniha

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

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",
  address="Krnov",
  isbn="80-85988-26-7",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz"
}