Publication detail

An Overview of Some Automated Tools for Formal Analysis and Verification

VOJNAR, T.

Original Title

An Overview of Some Automated Tools for Formal Analysis and Verification

Type

article in a collection out of WoS and Scopus

Language

English

Authors

VOJNAR, T.

Released

1. 1. 1998

Location

Krnov

ISBN

80-85988-26-7

Book

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

Pages from

223

Pages to

228

Pages count

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"
}