Publikation

SynPSL: Behavioral Synthesis of PSL Assertions

Outline:

F. Eibensteiner, R. Findenig, M. Pfaff - SynPSL: Behavioral Synthesis of PSL Assertions - Proceedings of International Conference Computer Aided Systems Theory EUROCAST 2009, Las Palmas, Spanien, 2009, pp. 69-74