Egon Börger. Using Abstract State Machines for the Description and the Analysis of Formal Systems. In Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini, Detlef Wotschke, editors, 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings. pages 15-22, Università degli Studi di Milano, Milan, Italy, 2005.
No references recorded for this publication.
No citations of this publication recorded.