Christian Glodt, Pierre Kelsen, Elke Pulvermueller. DEMOCLES: a tool for executable modeling of platform-independent systems. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 870-871, ACM, 2007. [doi]
Abstract is missing.