A compositional µ-calculus proof system for Statecharts processes (1999)

by F Levi
Venue:Theoretical Computer Science