From Trace Sets to Modal-Transition Systems by Stepwise Abstract Interpretation (2001)

by David A. Schmidt
Venue:Theoria
Citations:8 - 1 self