Finding short counterexamples in promela models using estimation of distribution algorithms

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011
Editors	Natalio Krasnogor, Pier Luca Lanzi
Publisher	ACM
Pages	1923-1930
Number of pages	8
Publication status	Published - 2011

Access to Document

@inproceedings{645deb2692994ef0a7827ca61bfb290a,

title = "Finding short counterexamples in promela models using estimation of distribution algorithms",

author = "Jan Staunton and Clark, {John A.}",

year = "2011",

language = "Undefined/Unknown",

pages = "1923--1930",

editor = "Natalio Krasnogor and Lanzi, {Pier Luca}",

booktitle = "13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011",

publisher = "ACM",

address = "United States",

}

Finding short counterexamples in promela models using estimation of distribution algorithms. / Staunton, Jan; Clark, John A.
13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011. ed. / Natalio Krasnogor; Pier Luca Lanzi. ACM, 2011. p. 1923-1930.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Finding short counterexamples in promela models using estimation of distribution algorithms

AU - Staunton, Jan

AU - Clark, John A.

PY - 2011

Y1 - 2011

UR - http://www.scopus.com/inward/record.url?scp=84860404581&partnerID=8YFLogxK

M3 - Conference contribution

SP - 1923

EP - 1930

BT - 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011

A2 - Krasnogor, Natalio

A2 - Lanzi, Pier Luca

PB - ACM

ER -