Conference paper

ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-Based Verification for Trees. In: Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007, pp. 181-182. ISBN 978-3-540-75866-2.
Publication language:english
Original title:Pattern-Based Verification for Trees
Title (cs):Pattern-Based Verification for Trees
Pages:181-182
Proceedings:Computer Aided Systems Theory - EUROCAST 2007
Conference:11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007
Place:Las Palmas de Grand Canaria, ES
Year:2007
ISBN:978-3-540-75866-2
Publisher:The Universidad de Las Palmas de Gran Canaria
Keywords
Pattern-Based Verification, Trees, Formal verification
Annotation
The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Pavel Erlebach and
	Tom{\'{a}}{\v{s}} Vojnar},
   title = {Pattern-Based Verification for Trees},
   pages = {181--182},
   booktitle = {Computer Aided Systems Theory - EUROCAST 2007},
   year = {2007},
   location = {Las Palmas de Grand Canaria, ES},
   publisher = {The Universidad de Las Palmas de Gran Canaria},
   ISBN = {978-3-540-75866-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8293}
}

Your IPv4 address: 54.224.187.45
Switch to IPv6 connection

DNSSEC [dnssec]