Bibliography | Vogel, Gunther: Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen. In: Proceedings of the Workshop on Applied Program Analysis, Bremen, September 2007. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology. Lecture Notes in Informatics, pp. 268-274, german. Gesellschaft für Informatik, September 2007. Article in Proceedings (Workshop Paper).
|