Karl-Heinz Pennemann



All Links

Share this:

Details of Karl-Heinz Pennemann

About Karl-Heinz Pennemann
Karl-Heinz Pennemann- Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information.