David R. Piegdon

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
libalf: The Automata Learning Framework. CAV (2010)
David R. Piegdon, Lexi Pimenidis
Targeting Physically Addressable Memory. DIMVA (2007)