Andreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, György Csertán, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler. INDEXYS, a Logical Step beyond GENESYS. In Erwin Schoitsch, editor, Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Volume 6351 of Lecture Notes in Computer Science, pages 431-451, Springer, 2010. [doi]
Abstract is missing.