Detail publikačního výsledku

Pattern-Based Verification for Trees

ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T.

Originální název

Pattern-Based Verification for Trees

Anglický název

Pattern-Based Verification for Trees

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.

Anglický abstrakt

The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.

Klíčová slova

Pattern-Based Verification, Trees, Formal verification

Klíčová slova v angličtině

Pattern-Based Verification, Trees, Formal verification

Autoři

ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T.

Vydáno

01.02.2007

Nakladatel

The Universidad de Las Palmas de Gran Canaria

Místo

Las Palmas de Grand Canaria

ISBN

978-3-540-75866-2

Kniha

Computer Aided Systems Theory - EUROCAST 2007

Strany od

181

Strany do

182

Strany počet

2

Plný text v Digitální knihovně

http://hdl.handle.net/

BibTex

@inproceedings{BUT28583,
  author="Pavel {Erlebach} and Milan {Češka} and Tomáš {Vojnar}",
  title="Pattern-Based Verification for Trees",
  booktitle="Computer Aided Systems Theory - EUROCAST 2007",
  year="2007",
  pages="181--182",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Grand Canaria",
  isbn="978-3-540-75866-2"
}