Publication detail

Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy

VOJNAR, T.

Original Title

Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy

Czech Title

Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy

Language

cs

Original Abstract

Tento rozšířený abstrakt shrnuje přednášku o nové třídě stromových automatů s omezeními a o jejich využití v symbolické verifikaci programů manipulujících vyvážené stromy.

Czech abstract

Tento rozšířený abstrakt shrnuje přednášku o nové třídě stromových automatů s omezeními a o jejich využití v symbolické verifikaci programů manipulujících vyvážené stromy.

Documents

BibTex


@inproceedings{BUT26106,
  author="Tomáš {Vojnar}",
  title="Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy",
  annote="Tento rozšířený abstrakt shrnuje přednášku o nové třídě stromových automatů s omezeními a o jejich
využití v symbolické verifikaci programů manipulujících vyvážené stromy.
", booktitle="Současné trendy teoretické informatiky", chapter="26106", edition="ITI Series 2007-347", year="2007", month="august", pages="38--39", type="conference paper" }