Johannes Helbig
According to our database1,
Johannes Helbig
authored at least 6 papers
between 1993 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
SOA Innovation Lab and SOPERA - Open Innovation for a Joint Agenda of Users and Vendors.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010
2007
1998
Linking visual formalisms: a compositional proof system for statecharts based on symbolic timing diagrams.
PhD thesis, 1998
1994
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.
Proceedings of the Programming Concepts, 1994
Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994
1993
Microprocess. Microprogramming, 1993