Harald Obereder

Publication Activity (10 Years)

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

Publications

Harald Obereder, Markus Pfaff
Behavioral synthesis of property specification language (PSL) assertions. IEEE International Workshop on Rapid System Prototyping (2007)