Slicing Synchronous Reactive Programs

Autor: Ganapathy, Vinod, Ramesh, S.
Zdroj: In Electronic Notes in Theoretical Computer Science July 2002 65(5):50-64
Databáze: ScienceDirect