Login / Signup
Aimee Burrows
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
State Space
Formal Analysis
Top Venues
IEEE Congress on Evolutionary Computation
</>
Publications
</>
Patrick LaRoche
,
Aimee Burrows
,
A. Nur Zincir-Heywood
How far an evolutionary approach can go for protocol state analysis and discovery.
IEEE Congress on Evolutionary Computation
(2013)